Uwe F. Pleban

According to our database1, Uwe F. Pleban authored at least 12 papers between 1979 and 1991.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1991
A semantics-directed partitioning of a processor architecture.
Proceedings of the Proceedings Supercomputing '91, 1991

1989
The Run-Time Environment for Screme, A Scheme Implementation on the 88000.
Proceedings of the ASPLOS-III Proceedings, 1989

1988
An Automatically Generated, Realistic Compiler for an Imperative Programming Language.
Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988

1987
A Realistic Compiler Generator Based on High-Level Semantics.
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations.
Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1986
On the Use of LISP in Implementing Denotational Semantics.
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

1984
Compiler prototyping using formal semantics.
Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, 1984

Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited.
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

Formal Semantics and Compiler Generation.
Proceedings of the Programmierumgebungen und Compiler, 1984

1982
Experience with an Experimental Compiler Generator Based on Denotational Semantics.
Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

1980
A Semantic Comparison of LISP and Scheme.
Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980

1979
The use of transition matrices in a recursive-descent compiler.
Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, 1979


  Loading...