Alfred Laut

According to our database, Alfred Laut authored at least 8 papers between 1980 and 1985.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

1985

The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L

Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner

Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985

1983

An Algebraic Specification of Pascal's File Type.

Alfred Laut

ACM SIGPLAN Notices, 1983

1982

Abstrakte Syntax und Programm-Manipulation.

Alfred Laut

PhD thesis, 1982

From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications.

Helmuth Partsch, Alfred Laut

Proceedings of the Programmiersprachen und Programmentwicklung, 1982

Tuning algebraic specifications by type merging.

Alfred Laut, Helmuth Partsch

Proceedings of the International Symposium on Programming, 1982

1981

Programming in a Wide Spectrum Language: A Collection of Examples.

Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner

Sci. Comput. Program., 1981

Developing algebraic specifications of threaded data structure implementations.

Alfred Laut

Proceedings of the Werkzeuge der Programmiertechnik, 1981

1980

Safe Procedural Implementations of Algebraic Types.

Alfred Laut

Inf. Process. Lett., 1980