DocumentCode
2587404
Title
The Context of Object Computation (extended abstract)
Author
Meyer, Bertrand
Author_Institution
Eidgenossische Tech. Hochschule, Zurich
fYear
2006
fDate
11-15 Sept. 2006
Firstpage
13
Lastpage
17
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Formal Methods, 2006. SEFM 2006. Fourth IEEE International Conference on
Conference_Location
Pune
Print_ISBN
0-7695-2678-0
Type
conf
DOI
10.1109/SEFM.2006.36
Filename
1698717
Link To Document