Improving the static analysis of embedded languages via partial evaluation

Authors:
David Herman;Philippe Meunier
Affiliations:
Northeastern University, Boston, MA;Northeastern University, Boston, MA
Venue:
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Year:
2004

Citing 19
Cited 3

Common LISP: the language

Common LISP: the language
The C programming language

The C programming language
Set based program analysis

Set based program analysis
Closure analysis in constraint form

ACM Transactions on Programming Languages and Systems (TOPLAS)
Cayenne—a language with dependent types

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Componential set-based analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction to set constraint-based program analysis

Science of Computer Programming
Functional logic overloading

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The C++ Programming Language, Third Edition

The C++ Programming Language, Third Edition
Structure and Interpretation of Computer Programs

Structure and Interpretation of Computer Programs
The Java Programming Language

The Java Programming Language
Composable and compilable macros:: you want it when?

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Revised Report on the Algorithmic Language Scheme

Higher-Order and Symbolic Computation
A Universal Scripting Framework or Lambda: The Ultimate "Little Language"

ASIAN '96 Proceedings of the Second Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security
Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages

SAS '95 Proceedings of the Second International Symposium on Static Analysis
Modular Domain Specific Languages and Tools

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Formatting: a class act

Journal of Functional Programming
DrScheme: a programming environment for Scheme

Journal of Functional Programming
Functional unparsing

Journal of Functional Programming

Debugging macros

GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
An operational semantics for scheme1

Journal of Functional Programming
Debugging hygienic macros

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

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.