Travelled to:1 × Canada
1 × Germany
6 × USA
Collaborated with:P.Lee ∅ S.R.Vegdahl S.S.Muchnick D.Milos G.Loegel J.Bodwin L.Bradley K.Kanda D.Litle
Talks about:compil (7) semant (5) implement (3) generat (3) use (3) realist (2) scheme (2) denot (2) lisp (2) base (2)
Person: Uwe F. Pleban
DBLP: Pleban:Uwe_F=
Contributed to:
1989
1988
1987
198619841984198219801979Wrote 9 papers:
- ASPLOS-1989-VegdahlP #implementation #runtime
- The Run-Time Environment for Screme, A Scheme Implementation on the 88000 (SRV, UFP), pp. 172–182.
- PLDI-1988-PlebanL #automation #compilation #imperative #programming language
- An Automatically Generated, Realistic Compiler for an Imperative Programming Language (UFP, PL), pp. 222–232.
- POPL-1987-LeeP #compilation #generative #semantics
- A Realistic Compiler Generator Based on High-Level Semantics (PL, UFP), pp. 284–295.
- LFP-1986-LeeP #implementation #lisp #on the #semantics #using
- On the Use of LISP in Implementing Denotational Semantics (PL, UFP), pp. 233–248.
- POPL-1984-MilosPL #compilation #implementation #pascal #revisited #specification
- Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited (DM, UFP, GL), pp. 196–207.
- SCC-1984-Pleban #compilation #prototype #semantics #using
- Compiler prototyping using formal semantics (UFP), pp. 94–105.
- SCC-1982-BodwinBKLP #compilation #experience #generative #semantics
- Experience with an Experimental Compiler Generator Based on Denotational Semantics (JB, LB, KK, DL, UFP), pp. 216–229.
- LISP-1980-MuchnickP #comparison #lisp #semantics
- A Semantic Comparison of LISP and Scheme (SSM, UFP), pp. 56–64.
- SCC-1979-Pleban #compilation #matrix #recursion #using
- The use of transition matrices in a recursive-descent compiler (UFP), pp. 144–151.