Specification and verification challenges for sequential object-oriented programs

Download
Full text (published Version) (PDF, 1.913Mb)
Thumbnail
Open access
Autor(in)
Leavens, Gary T.
Leino, K. Rustan M.
Müller, Peter
Datum
2007-06
Typ
    Journal Article
Rechte / Lizenz
In Copyright - Non-Commercial Use Permitted
Persistenter Link
https://doi.org/10.3929/ethz-b-000002103
Publikationsstatus
published
Externe Links
Zeitschrift / Serie
Formal Aspects of Computing
Band
19(2)
Seiten / Artikelnummer
159 - 189
Verlag
Springer
Thema
Program verification; Specification; Contract; Object-oriented programming; Challenge
Organisationseinheit
03653 - Müller, Peter / Müller, Peter  
03594 - Meyer, Bertrand (emeritus)  
Anmerkungen
Received 17 May 2006, Revised 20 August 2006, Accepted 19 February 2007, Published online 6 April 2007. It was possible to publish this article open access thanks to a Swiss National Licence with the publisher
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics