A structural soundness proof for Shivers’s escape technique a case for Galois connections

Jan Midtgaard, Michael D. Adams, Matthew Might

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

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.

OriginalsprogEngelsk
BogserieLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind7460 LNCS
ISSN0302-9743
DOI
StatusUdgivet - 1. jan. 2012
Begivenhed19th International Static Analysis Symposium, SAS 2012 - Deauville, Frankrig
Varighed: 11. sep. 201213. sep. 2012

Konference

Konference19th International Static Analysis Symposium, SAS 2012
LandFrankrig
ByDeauville
Periode11/09/201213/09/2012
SponsorCNRS - The National Center for Scientific Research, École Normale Supérieure, Institut National de Recherche en Informatique et en Automatique

Fingeraftryk Dyk ned i forskningsemnerne om 'A structural soundness proof for Shivers’s escape technique a case for Galois connections'. Sammen danner de et unikt fingeraftryk.

Citationsformater