next up previous
Next: Biography Up: Developing Provably Correct Programs Previous: 5 Conclusion

References

AL97
M. Abadi and R. Leino.
A logic of object-oriented programs.
In Michel Bidoit and Max Dauchet, editors, TAPSOFT '97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, volume 1214 of LNCS, pages 682-696. Springer-Verlag, NY, 1997.

Ame87
Pierre America.
Inheritance and subtyping in a parallel object-oriented language.
In Jean Bezivin et al., editors, ECOOP '87, European Conference on Object-Oriented Programming, Paris, France, pages 234-242, NY, June 1987. Springer-Verlag.
Lecture Notes in Computer Science, Volume 276.

DL96
K. K. Dhara and G. T. Leavens.
Forcing behavioral subtyping through specification inheritance.
In Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany, pages 258-267. IEEE Computer Society Press, March 1996.

GH93
J. V. Guttag and J. J. Horning.
Larch: Languages and Tools for Formal Specification.
Springer-Verlag, 1993.

Hoa69
C. A. R. Hoare.
An axiomatic basis for computer programming.
Communications of the ACM, 12(10):576-580, 583, 1969.

Hoa72
C. A. R. Hoare.
Proofs of correctness of data representation.
Acta Informatica, 1:271-281, 1972.

Lea96
G. T. Leavens.
Larch/C++ reference manual.
HTML version available from http://www.cs.iastate.edu/~leavens/larchc++manual/lcpp_toc.html, July 1996.

Lei95
K. Rustan M. Leino.
Toward Reliable Modular Programs.
PhD thesis, California Institute of Technology, 1995.

MPH97
P. Müller and A. Poetzsch-Heffter.
Formal specification techniques for object-oriented programs.
(To appear in Informatik Aktuell, Springer-Verlag), 1997.

Omo94
S. M. Omohundro.
The Sather 1.0 specification.
Technical report, International Computer Science Institute, 1994.

PH95
A. Poetzsch-Heffter.
Interface specifications for program modules supporting selective updates and sharing and their use in correctness proofs.
In G. Snelting, editor, Softwaretechnik 95, 1995.

PH97a
A. Poetzsch-Heffter.
Prototyping realistic programming languages based on formal specifications.
(To appear in Acta Informatica), 1997.

PH97b
A. Poetzsch-Heffter.
Specification and Verification of Object-Oriented Programs.
PhD thesis, Technische Universität München, 1997.
(Habilitationsschrift).



Peter Mueller and Arnd Poetzsch-Heffter
Sept. 2, 1997