Proof-Transforming Compilation of Eiffel Programs

Thumbnail
Metadata only
Author
Nordio, Martin
Müller, Peter
Meyer, Bertrand
Date
2008
Type
    Book Chapter
Publication status
published
External links
Search print copy at ETH Library
Editor
Paige, Richard F.
Meyer, Bertrand
Book title
Objects, Components, Models and Patterns
Journal / series
Lecture Notes in Business Information Processing
Volume
11
Pages / Article No.
316 - 335
Publisher
Springer
Subject
Software verification; program proofs; Proof-Carrying Code; proof-transforming compiler; Eiffel; CIL
Organisational unit
03594 - Meyer, Bertrand (emeritus)  
03653 - Müller, Peter / Müller, Peter  
More
Show all metadata
ETH Bibliography
yes
Altmetrics