Proof-transforming compilation of programs with abrupt termination
METADATA ONLY
Loading...
Author / Producer
Date
2007
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Proceedings of the 2007 Conference on Specification and Verification of Component-Based Systems : September 3-4, 2007, Dubrovnik, Croatia
Journal / series
Volume
99
Pages / Article No.
39 - 46
Publisher
Association for Computing Machinery
Event
6th International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
proof-carrying code; proof-transforming compiler; trusted components
Organisational unit
03594 - Meyer, Bertrand (emeritus)
03653 - Müller, Peter / Müller, Peter