Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Intermittent Assertion Proofs in Lucid., and . IFIP Congress, page 723-726. (1977)Translating Program Schemas to While-Schemas., and . SIAM J. Comput., 4 (2): 125-146 (1975)Lucid, a Nonprocedural Language with Iteration., and . Commun. ACM, 20 (7): 519-526 (1977)Proving Assertions about Parallel Programs.. J. Comput. Syst. Sci., 10 (1): 110-135 (1975)Dataflow and Education: Data-driven and Demand-driven Distributed Computation.. Current Trends in Concurrency, volume 224 of Lecture Notes in Computer Science, Springer, (1986)Fault Tolerance in Parallel Implementations of Functional Languages., and . FTCS, page 256-265. IEEE Computer Society, (1991)The Translation of 'Go To' Programs to 'While' Programs., and . IFIP Congress (1), page 250-255. North-Holland, (1971)Clauses: Scope Structures and Defined Functions in Lucid., and . POPL, page 17-22. ACM Press, (1978)Some common misconceptions about Lucid., and . ACM SIGPLAN Notices, 15 (10): 15-26 (1980)A Generalized Setting for Fixpoint Theory., and . Theor. Comput. Sci., (1979)