Formal Refinement and Proof of a Small Java Program

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The main components of a formal technique for specifying, reening and proving properties of object-oriented programs are presented. The technique is based on a-notation whose semantics is given using standard categorical constructs. An example of the formal development of a small Java program is presented.
Original languageEnglish
Title of host publication13th European Conference on Object-Oriented Programming (ECOOP), 14-18 June, 1999, University of Lisbon, Portugal.
Publication statusPublished - 1999

Fingerprint Dive into the research topics of 'Formal Refinement and Proof of a Small Java Program'. Together they form a unique fingerprint.

  • Cite this

    Clark, T. (1999). Formal Refinement and Proof of a Small Java Program. In 13th European Conference on Object-Oriented Programming (ECOOP), 14-18 June, 1999, University of Lisbon, Portugal.