Uwe Schmidt

Publication Activity (10 Years)

Years Active: 1981-1994
Publications (10 Years): 0

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Hans-Martin Hörcher, Uwe Schmidt
The VDM Domain Compiler. FTRTFT (1994)
Uwe Schmidt, Hans-Martin Hörcher
The VDM Domain Compiler: A VDM Class Library Generator. VDM Europe (1) (1991)
Uwe Schmidt, Hans-Martin Hörcher
Programming with VDM Domains. VDM Europe (1990)
Uwe Schmidt, Reinhard Völler
Experience with VDM in Norsk Data. VDM Europe (1987)
Uwe Schmidt, Reinhard Völler
Erfahrungen mit VDM bei der Übersetzungskonstruktion / Experiences with VDM in Compiler Construction. it Inf. Technol. 29 (4) (1987)
Uwe Schmidt, Reinhard Völler
A multi-language compiler system with automatically generated codegenerators. SIGPLAN Symposium on Compiler Construction (1984)
Uwe Schmidt, Reinhard Völler
Die Entwicklung eines portablen Übersetzersystems mit der Vienna Development Method. PASCAL (1982)
Uwe Schmidt, Reinhard Völler
Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT. GI Jahrestagung (1981)