Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Intermittent Assertion Proofs in Lucid., und . IFIP Congress, Seite 723-726. (1977)Fault Tolerance in Parallel Implementations of Functional Languages., und . FTCS, Seite 256-265. IEEE Computer Society, (1991)Clauses: Scope Structures and Defined Functions in Lucid., und . POPL, Seite 17-22. ACM Press, (1978)The Translation of 'Go To' Programs to 'While' Programs., und . IFIP Congress (1), Seite 250-255. North-Holland, (1971)Translating Program Schemas to While-Schemas., und . SIAM J. Comput., 4 (2): 125-146 (1975)Lucid, a Nonprocedural Language with Iteration., und . Commun. ACM, 20 (7): 519-526 (1977)A Mathematical Semantics for a Nondeterministic Typed lambda-Calculus., und . Theor. Comput. Sci., (1980)Mathematical logic applied to the semantics of computer programs.. Imperial College London, UK, (1970)British Library, EThOS.A dataflow algorithm for digital filtering., und . ICASSP, Seite 1177-1180. IEEE, (1986)Program correctness methods and language definition.. Proving Assertions About Programs, Seite 51-57. ACM, (1972)