Einige Veröffentlichungen:
- A. Poetzsch-Heffter:
Logic-Based Specification of Visibility Rules.
In J. Maluszynski and M. Wirsing: Programming Language Implementation and
Logic Programming, 1991, pp. 63-74. (LNCS 528)
- A. Poetzsch-Heffter:
Implementing High-Level Identification Specifications.
In U. Kastens, P. Pfahler (Eds.): Compiler Construction,
1992, pp. 59-65. (LNCS 641)
Postscript-Datei
- A. Poetzsch-Heffter:
Programming Language Specification and Prototyping Using the MAX System.
In M. Bruynooghe, J. Penjam (Eds.): Programming Language Implementation
and Logic Programming, 1993, pp. 137-150. (LNCS 714)
Postscript-Datei
- A. Poetzsch-Heffter:
Developing Efficient Interpreters Based on Formal Language Specifications.
In P. Fritzson (Ed.): Compiler Construction, 1994, pp. 233-247. (LNCS 786)
Postscript-Datei
- A. Poetzsch-Heffter:
Deriving Partial Correctness Logics From Evolving Algebras.
In B. Pehrson, I. Simon (Eds.): Proceedings of the IFIP 13th World Computer
Congress '94, 1994, Elsevier, Vol. 3.
Postscript-Datei
- A. Poetzsch-Heffter:
Interface Specifications for Program Modules Supporting Selective
Updates and Sharing and their Use in Correcness Proofs.
In G.~Snelting (Ed.): Softwaretechnik 95, Braunschweig, 1995.
- A. Poetzsch-Heffter:
Specification and Verification of Object-Oriented Programs.
Habilitationsschrift; Technische Universität München, 1997.
Postscript-Datei
Homepage Arnd Poetzsch-Heffter
Arnd Poetzsch-Heffter , 19.10.95
Richard Schwab , 30.11.95