Formal Refinement and Proof of a Small Java Program

Tony Clark

Formal Refinement and Proof of a Small Java Program

College of Engineering and Physical Sciences

Research output: Chapter in Book/Published conference output › Conference publication

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 language	English
Title of host publication	13th European Conference on Object-Oriented Programming (ECOOP), 14-18 June, 1999, University of Lisbon, Portugal.
Publication status	Published - 1999

Cite this

@inproceedings{13ab43b612764de1ae35c39e2f826f26,

title = "Formal Refinement and Proof of a Small Java Program",

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. ",

author = "Tony Clark",

year = "1999",

language = "English",

booktitle = "13th European Conference on Object-Oriented Programming (ECOOP), 14-18 June, 1999, University of Lisbon, Portugal.",

}

TY - GEN

T1 - Formal Refinement and Proof of a Small Java Program

AU - Clark, Tony

PY - 1999

Y1 - 1999

N2 - 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.

AB - 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.

UR - https://www.semanticscholar.org/paper/Formal-Refinement-and-Proof-of-a-Small-Java-Program-Clark/9b74614d1ae351291c9d696f7f426859bbc7d219

M3 - Conference publication

BT - 13th European Conference on Object-Oriented Programming (ECOOP), 14-18 June, 1999, University of Lisbon, Portugal.

ER -

Formal Refinement and Proof of a Small Java Program

Abstract

Other files and links

Fingerprint

Cite this