Open AccessFormal Development of Correct Classes in Computational Logic
Author(s) -
Kung-Kiu Lau,
C. Moss,
Mario Ornaghi
Publication year - 1996
Publication title -
electronic workshops in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 1477-9358
DOI - 10.14236/ewic/fa1996.12
Subject(s) - computer science , programming language , extensibility , software engineering , software , formal verification , theoretical computer science , software development
Quality software must be reusable, extensible and reliable. In computational logic, we have developed an approach to constructing programs that are formally correct. Our approach can provide a basis for constructing software that is (formally) reusable and extensible, and not just reliable but formally correct. In this paper, we explain our notion of correct classes, and how to develop them.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom