Abstrakt
Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In this paper, we present the first soundness proof for the technique. Our proof is structured as a composition of Galois connections and thus rests on the foundations of abstract interpretation.
Originalsprog | Engelsk |
---|---|
Bogserie | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Vol/bind | 7460 LNCS |
ISSN | 0302-9743 |
DOI | |
Status | Udgivet - 1. jan. 2012 |
Begivenhed | 19th International Static Analysis Symposium, SAS 2012 - Deauville, Frankrig Varighed: 11. sep. 2012 → 13. sep. 2012 |
Konference
Konference | 19th International Static Analysis Symposium, SAS 2012 |
---|---|
Land | Frankrig |
By | Deauville |
Periode | 11/09/2012 → 13/09/2012 |
Sponsor | CNRS - The National Center for Scientific Research, École Normale Supérieure, Institut National de Recherche en Informatique et en Automatique |