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

An Order-Algebraic Definition of Knuthian Semantics., and . Math. Syst. Theory, (1979)On the time required for retention., , , , and . HLLCA, page 165-178. ACM, (1973)An approach to compiler correctness., and . Reliable Software, page 96-103. ACM, (1975)Toward Compiler Implementation Correctness Proofs, and . ACM Trans. Progr. Languages and Systems, 8 (2): 185--214 (April 1986)Functional Entity Relationship Model and Update Operations., and . FODO, page 359-366. Plemum Press, New York, (1985)Two PARALLEL EULER run time models: The dangling reference, impostor environment, and label problems., , , , and . HLLCA, page 141-151. ACM, (1973)Contributions to Compiler Correctness. Comp. Sc. Department, University of California, Los Angeles, CA, Ph.D. Thesis, (October 1976)An Algebraic Formulation of Knuthian Semantics, and . FOCS, page 127-136. IEEE Computer Society, (1976)