Uwe F. Pleban

Publication Activity (10 Years)

Years Active: 1979-1991
Publications (10 Years): 0

Publications

Peter L. Bird, Uwe F. Pleban
A semantics-directed partitioning of a processor architecture. SC (1991)
Steven R. Vegdahl, Uwe F. Pleban
The Run-Time Environment for Screme, A Scheme Implementation on the 88000. ASPLOS (1989)
Uwe F. Pleban, Peter Lee
An Automatically Generated, Realistic Compiler for an Imperative Programming Language. PLDI (1988)
Uwe F. Pleban, Peter Lee
High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations. MFPS (1987)
Peter Lee, Uwe F. Pleban
A Realistic Compiler Generator Based on High-Level Semantics. POPL (1987)
Peter Lee, Uwe F. Pleban
On the Use of LISP in Implementing Denotational Semantics. LISP and Functional Programming (1986)
Uwe F. Pleban
Formal Semantics and Compiler Generation. Programmierumgebungen und Compiler (1984)
Don Milos, Uwe F. Pleban, George Loegel
Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited. POPL (1984)
Uwe F. Pleban
Compiler prototyping using formal semantics. SIGPLAN Symposium on Compiler Construction (1984)
James Bodwin, Laurette Bradley, Kohji Kanda, Diane Litle, Uwe F. Pleban
Experience with an Experimental Compiler Generator Based on Denotational Semantics. SIGPLAN Symposium on Compiler Construction (1982)
Steven S. Muchnick, Uwe F. Pleban
A Semantic Comparison of LISP and Scheme. LISP Conference (1980)
Uwe F. Pleban
The use of transition matrices in a recursive-descent compiler. SIGPLAN Symposium on Compiler Construction (1979)