Uwe Schmidt

According to our database, Uwe Schmidt authored at least 9 papers between 1981 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

1994

The VDM Domain Compiler.

Hans-Martin Hörcher, Uwe Schmidt

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1991

The VDM Domain Compiler: A VDM Class Library Generator.

Uwe Schmidt, Hans-Martin Hörcher

Proceedings of the VDM '91, 1991

1990

Programming with VDM Domains.

Uwe Schmidt, Hans-Martin Hörcher

Proceedings of the VDM '90, 1990

1987

Erfahrungen mit VDM bei der Übersetzungskonstruktion / Experiences with VDM in Compiler Construction.

Uwe Schmidt, Reinhard Völler

it Inf. Technol., 1987

Experience with VDM in Norsk Data.

Uwe Schmidt, Reinhard Völler

Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987

1984

A multi-language compiler system with automatically generated codegenerators.

Uwe Schmidt, Reinhard Völler

Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, 1984

1983

Ein neuartiger, auf VDM basierender Codegenerator-Generator.

Uwe Schmidt

PhD thesis, 1983

1982

Die Entwicklung eines portablen Übersetzersystems mit der Vienna Development Method.

Uwe Schmidt, Reinhard Völler

Proceedings of the Implementierung PASCAL-artiger Programmiersprachen, 1982

1981

Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT.

Uwe Schmidt, Reinhard Völler

Proceedings of the GI, 1981