Heiko Petzsch

According to our database, Heiko Petzsch authored at least 4 papers between 1981 and 1984.

Collaborative distances:

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

1984

SLAN-4 - A Software Specification and Design Language.

Friedrich W. Beichter, Otthein Herzog, Heiko Petzsch

IEEE Trans. Software Eng., 1984

Automatic Prototyping of Algebraic Specifications using PROLOG.

Heiko Petzsch

Proceedings of the Recent Trends in Data Type Specification, 1984

1983

SLAN-4: A Language for the Specification and Design of Large Software Systems.

Friedrich W. Beichter, Otthein Herzog, Heiko Petzsch

IBM J. Res. Dev., 1983

1981

The Development of an Interpreter by Means of Abstract Algebraic Software Specifications.

Herbert Klaeren, Heiko Petzsch

Proceedings of the Formalization of Programming Concepts, 1981