DMCA
Abstract Parsing for Two-staged Languages with Concatenation (2009)
BibTeX
@MISC{Kong09abstractparsing,
author = {Soonho Kong and Wontae Cho and Kwangkeun Yi},
title = {Abstract Parsing for Two-staged Languages with Concatenation},
year = {2009}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This article, based on Doh, Kim, and Schmidt’s “abstract parsing ” technique, presents an abstract interpretation for statically checking the syntax of generated code in two-staged programs. Abstract parsing is a static analysis technique for checking the syntax of generated strings. We adopt this technique for two-staged programming languages and formulate it in the abstract interpretation framework. We parameterize our analysis with the abstract domain so that one can choose the abstract domain as long as it satisfies the condition we provide. We also present an instance of the abstract domain, namely an abstract parse stack and its widening with k-cutting.
