Title :
The Context of Object Computation (extended abstract)
Author_Institution :
Eidgenossische Tech. Hochschule, Zurich
Abstract :
A program, or in object-oriented programming a feature, is characterized not only by an implementation but by a contract specifying its intent and a proof obligation to ascertain that the implementation meets the contract. From these ideas it is possible to derive a general framework for discussing programs and program development
Keywords :
object-oriented programming; software engineering; object computation; object-oriented programming; program development; proof obligation; Computer languages; Contracts; Functional programming; Hardware; Mathematical model; Mathematical programming; Object oriented programming; Operating systems; Security; Transportation;
Conference_Titel :
Software Engineering and Formal Methods, 2006. SEFM 2006. Fourth IEEE International Conference on
Conference_Location :
Pune
Print_ISBN :
0-7695-2678-0
DOI :
10.1109/SEFM.2006.36
