Export Citations
1 Results for: Keyword: proof-transforming compiler
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,836,977 records)|Limit your search to The ACM Full-Text Collection (774,400 records)
Select All
- ArticleSeptember 2007
Proof-transforming compilation of programs with abrupt termination
SAVCBS '07: Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software EngineeringPages 39–46https://doi.org/10.1145/1292316.1292321The execution of untrusted bytecode programs can produce undesired behavior. A proof on the bytecode programs can be generated to ensure safe execution. Automatic techniques to generate proofs, such as certifying compilation, can only be used for a ...
