Uwe F. Pleban

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