Formal refinement and proof of a small java program.

Conference paper

Clark, T. 1999. Formal refinement and proof of a small java program. 13th European Conference on Object-Oriented Programming (ECOOP). University of Lisbon, Portugal 14 - 18 Jun 1999
TypeConference paper
TitleFormal refinement and proof of a small java program.
AuthorsClark, T.
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.

Research GroupResearch Group on Development of Intelligent Environments
SensoLab group
Conference13th European Conference on Object-Oriented Programming (ECOOP)
Publication process dates
Deposited09 Jul 2010
Output statusPublished
LanguageEnglish
File
Permalink -

https://repository.mdx.ac.uk/item/82y69

Log in to edit

Download files

  • 41
    total views
  • 7
    total downloads
  • 2
    views this month
  • 1
    downloads this month

Export as