Static analysis of multi-staged programs via unstaging translation

Name: Static analysis of multi-staged programs via unstaging translation
Author: Choi, W., Aktemur, Tankut Barış, Yi, K., Tatsuta, M.

İsim	Static analysis of multi-staged programs via unstaging translation
Yazar	Choi, W., Aktemur, Tankut Barış, Yi, K., Tatsuta, M.
Basım Tarihi:	2011
Basım Yeri	- ACM
Konu	Multi-staged languages, Static analysis, Semantics preservation, Unstaging translation, Abstract interpretation, Projection
Tür	Belge
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Demirbaş Numarası	978-1-4503-0490-0
Kayıt Numarası	4eb4cf21-7f88-4559-9bb8-38cadbf35eb1
Lokasyon	Computer Science
Tarih	2011
Notlar	Due to copyright restrictions, the access to the full text of this article is only available via subscription.
Örnek Metin	Static analysis of multi-staged programs is challenging because thebasic assumption of conventional static analysis no longer holds: the program text itself is no longer a fixed static entity, but rather a dynamically constructed value. This article presents a semanticpreserving translation of multi-staged call-by-value programs into unstaged programs and a static analysis framework based on this translation. The translation is semantic-preserving in that every small-step reduction of a multi-staged program is simulated by the evaluation of its unstaged version. Thanks to this translation we can analyze multi-staged programs with existing static analysis techniques that have been developed for conventional unstaged programs: we first apply the unstaging translation, then we apply conventional static analysis to the unstaged version, and finally we cast the analysis results back in terms of the original staged program. Our translation handles staging constructs that have beenevolved to be useful in practice (typified in Lisp’s quasi quotation): open code as values, unrestricted operations on references and intentional variable-capturing substitutions. This article omits references for which we refer the reader to our companion technical report.
DOI	10.1145/1926385.1926397

Kaynağa git Özyeğin Üniversitesi

Aramaya Dön

Özyeğin Üniversitesi

Kaynağa git

Static analysis of multi-staged programs via unstaging translation

Yazar Choi, W., Aktemur, Tankut Barış, Yi, K., Tatsuta, M.

Basım Tarihi 2011

Basım Yeri - ACM

Konu Multi-staged languages, Static analysis, Semantics preservation, Unstaging translation, Abstract interpretation, Projection

Tür Belge

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Demirbaş Numarası 978-1-4503-0490-0

Kayıt Numarası 4eb4cf21-7f88-4559-9bb8-38cadbf35eb1

Lokasyon Computer Science

Tarih 2011

Notlar Due to copyright restrictions, the access to the full text of this article is only available via subscription.

Örnek Metin Static analysis of multi-staged programs is challenging because thebasic assumption of conventional static analysis no longer holds: the program text itself is no longer a fixed static entity, but rather a dynamically constructed value. This article presents a semanticpreserving translation of multi-staged call-by-value programs into unstaged programs and a static analysis framework based on this translation. The translation is semantic-preserving in that every small-step reduction of a multi-staged program is simulated by the evaluation of its unstaged version. Thanks to this translation we can analyze multi-staged programs with existing static analysis techniques that have been developed for conventional unstaged programs: we first apply the unstaging translation, then we apply conventional static analysis to the unstaged version, and finally we cast the analysis results back in terms of the original staged program. Our translation handles staging constructs that have beenevolved to be useful in practice (typified in Lisp’s quasi quotation): open code as values, unrestricted operations on references and intentional variable-capturing substitutions. This article omits references for which we refer the reader to our companion technical report.

DOI 10.1145/1926385.1926397