| 1991 |
|---|
| 12 | EE | Peter L. Bird,
Uwe F. Pleban:
A semantics-directed partitioning of a processor architecture.
SC 1991: 702-709 |
| 1989 |
|---|
| 11 | | Steven R. Vegdahl,
Uwe F. Pleban:
The Run-Time Environment for Screme, A Scheme Implementation on the 88000.
ASPLOS 1989: 172-182 |
| 1988 |
|---|
| 10 | | Uwe F. Pleban,
Peter Lee:
An Automatically Generated, Realistic Compiler for an Imperative Programming Language.
PLDI 1988: 222-232 |
| 1987 |
|---|
| 9 | | Uwe F. Pleban,
Peter Lee:
High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations.
MFPS 1987: 550-571 |
| 8 | | Peter Lee,
Uwe F. Pleban:
A Realistic Compiler Generator Based on High-Level Semantics.
POPL 1987: 284-295 |
| 1986 |
|---|
| 7 | | Peter Lee,
Uwe F. Pleban:
On the Use of LISP in Implementing Denotational Semantics.
LISP and Functional Programming 1986: 233-248 |
| 1984 |
|---|
| 6 | | Don Milos,
Uwe F. Pleban,
George Loegel:
Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited.
POPL 1984: 196-207 |
| 5 | | Uwe F. Pleban:
Formal Semantics and Compiler Generation.
Programmierumgebungen und Compiler 1984: 145-169 |
| 4 | EE | Uwe F. Pleban:
Compiler prototyping using formal semantics.
SIGPLAN Symposium on Compiler Construction 1984: 94-105 |
| 1982 |
|---|
| 3 | EE | 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: 216-229 |
| 1980 |
|---|
| 2 | | Steven S. Muchnick,
Uwe F. Pleban:
A Semantic Comparison of LISP and Scheme.
LISP Conference 1980: 56-64 |
| 1979 |
|---|
| 1 | EE | Uwe F. Pleban:
The use of transition matrices in a recursive-descent compiler.
SIGPLAN Symposium on Compiler Construction 1979: 144-151 |
