Alfred Laut

Publication Activity (10 Years)

Years Active: 1980-1983
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Alfred Laut
An Algebraic Specification of Pascal's File Type. ACM SIGPLAN Notices 18 (4) (1983)
Alfred Laut, Helmuth Partsch
Tuning algebraic specifications by type merging. Symposium on Programming (1982)
Helmuth Partsch, Alfred Laut
From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications. Fachtagung über Programmiersprachen (1982)
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
Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. 1 (1-2) (1981)
Alfred Laut
Developing algebraic specifications of threaded data structure implementations. Werkzeuge der Programmiertechnik (1981)
Alfred Laut
Safe Procedural Implementations of Algebraic Types. Inf. Process. Lett. 11 (4/5) (1980)