Formal refinement and proof of a small java program.

Clark, Tony (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.

[img]
Preview
PDF
Download (189kB)

Abstract

The main components of a formal technique for specifying, refining 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.

Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Intelligent Environments Research Group
A. > School of Science and Technology > Computer Science > SensoLab group
Item ID: 6259
Useful Links:
Depositing User: Devika Mohan
Date Deposited: 09 Jul 2010 07:27
Last Modified: 22 Sep 2015 17:19
URI: http://eprints.mdx.ac.uk/id/eprint/6259

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year