Improving the static analysis of embedded languages via partial evaluation

David Herman; Philippe Meunier

doi:10.1145/1016850.1016857

Improving the static analysis of embedded languages via partial evaluation

David Herman
, Philippe Meunier

Department of Computer Science

Northeastern University

Research output: Contribution to conference › Paper › peer-review

5 Scopus citations

Abstract

Programs in embedded languages contain invariants that are not automatically detected or enforced by their host language. We show how to use macros to easily implement partial evaluation of embedded interpreters in order to capture invariants encoded in embedded programs and render them explicit in the terms of their host language. We demonstrate the effectiveness of this technique in improving the results of a value flow analysis.

Original language	English
Pages	16-27
Number of pages	12
DOIs	https://doi.org/10.1145/1016850.1016857
State	Published - 2004
Event	Proceedings of the NinthACM SIGPLAN International Conference on Functional Programming, ICFP'04 - Snowbird, UT, United States Duration: 19 Sep 2004 → 21 Sep 2004

Conference

Conference	Proceedings of the NinthACM SIGPLAN International Conference on Functional Programming, ICFP'04
Country/Territory	United States
City	Snowbird, UT
Period	19/09/04 → 21/09/04

Keywords

Embedded languages
Macros
Partial evaluation
Value flow analysis

Access to Document

10.1145/1016850.1016857

Cite this

@conference{2bada7c02bd147c6bc16cf3623994c81,

title = "Improving the static analysis of embedded languages via partial evaluation",

abstract = "Programs in embedded languages contain invariants that are not automatically detected or enforced by their host language. We show how to use macros to easily implement partial evaluation of embedded interpreters in order to capture invariants encoded in embedded programs and render them explicit in the terms of their host language. We demonstrate the effectiveness of this technique in improving the results of a value flow analysis.",

keywords = "Embedded languages, Macros, Partial evaluation, Value flow analysis",

author = "David Herman and Philippe Meunier",

year = "2004",

doi = "10.1145/1016850.1016857",

language = "English",

pages = "16--27",

note = "Proceedings of the NinthACM SIGPLAN International Conference on Functional Programming, ICFP'04 ; Conference date: 19-09-2004 Through 21-09-2004",

}

TY - CONF

T1 - Improving the static analysis of embedded languages via partial evaluation

AU - Herman, David

AU - Meunier, Philippe

PY - 2004

Y1 - 2004

N2 - Programs in embedded languages contain invariants that are not automatically detected or enforced by their host language. We show how to use macros to easily implement partial evaluation of embedded interpreters in order to capture invariants encoded in embedded programs and render them explicit in the terms of their host language. We demonstrate the effectiveness of this technique in improving the results of a value flow analysis.

AB - Programs in embedded languages contain invariants that are not automatically detected or enforced by their host language. We show how to use macros to easily implement partial evaluation of embedded interpreters in order to capture invariants encoded in embedded programs and render them explicit in the terms of their host language. We demonstrate the effectiveness of this technique in improving the results of a value flow analysis.

KW - Embedded languages

KW - Macros

KW - Partial evaluation

KW - Value flow analysis

UR - https://www.scopus.com/pages/publications/13344286264

UR - https://www.scopus.com/pages/publications/13344286264#tab=citedBy

U2 - 10.1145/1016850.1016857

DO - 10.1145/1016850.1016857

M3 - Paper

AN - SCOPUS:13344286264

SP - 16

EP - 27

T2 - Proceedings of the NinthACM SIGPLAN International Conference on Functional Programming, ICFP'04

Y2 - 19 September 2004 through 21 September 2004

ER -

Improving the static analysis of embedded languages via partial evaluation

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this