Author of the publication

On the Use of LISP in Implementing Denotational Semantics.

, and . LISP and Functional Programming, page 233-248. ACM, (1986)

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

On the Use of LISP in Implementing Denotational Semantics., and . LISP and Functional Programming, page 233-248. ACM, (1986)Experience with an Experimental Compiler Generator Based on Denotational Semantics., , , , and . SIGPLAN Symposium on Compiler Construction, page 216-229. ACM, (1982)Formal Semantics and Compiler Generation.. Programmierumgebungen und Compiler, volume 18 of Berichte des German Chapter of the ACM, page 145-169. Teubner, (1984)High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations., and . MFPS, volume 298 of Lecture Notes in Computer Science, page 550-571. Springer, (1987)The use of transition matrices in a recursive-descent compiler.. SIGPLAN Symposium on Compiler Construction, page 144-151. ACM, (1979)A semantics-directed partitioning of a processor architecture., and . SC, page 702-709. ACM, (1991)Compiler prototyping using formal semantics.. SIGPLAN Symposium on Compiler Construction, page 94-105. ACM, (1984)The Run-Time Environment for Screme, A Scheme Implementation on the 88000., and . ASPLOS, page 172-182. ACM Press, (1989)SIGARCH Computer Architecture News 17(2), SIGOPS Operating System Review 23(Special Issue April 1989), and SIGPLAN Notices 24(Special Issue May 1989).Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited., , and . POPL, page 196-207. ACM Press, (1984)A Realistic Compiler Generator Based on High-Level Semantics., and . POPL, page 284-295. ACM Press, (1987)