Improving the static analysis of embedded languages via partial evaluation

David Herman, Philippe Meunier

Research output: Contribution to conferencePaperpeer-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 languageEnglish
Pages16-27
Number of pages12
DOIs
StatePublished - 2004
EventProceedings of the NinthACM SIGPLAN International Conference on Functional Programming, ICFP'04 - Snowbird, UT, United States
Duration: 19 Sep 200421 Sep 2004

Conference

ConferenceProceedings of the NinthACM SIGPLAN International Conference on Functional Programming, ICFP'04
Country/TerritoryUnited States
CitySnowbird, UT
Period19/09/0421/09/04

Keywords

  • Embedded languages
  • Macros
  • Partial evaluation
  • Value flow analysis

Fingerprint

Dive into the research topics of 'Improving the static analysis of embedded languages via partial evaluation'. Together they form a unique fingerprint.

Cite this