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. . [Conference or Workshop Item]

Preview

PDF
Download (189kB) | Preview

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 group A. > School of Science and Technology > Computer Science > SensoLab group
Item ID:	6259
Useful Links:	http://ecoop99.di.fc.ul.pt/
Depositing User:	Devika Mohan
Date Deposited:	09 Jul 2010 07:27
Last Modified:	30 Nov 2022 03:08
URI:	https://eprints.mdx.ac.uk/id/eprint/6259

Actions (login required)

View Item

Statistics

DownloadsShow export options

Activity Overview

6 month trend

192Downloads

6 month trend

488Hits

Additional statistics are available via IRStats2.

CORE (COnnecting REpositories)