Sciweavers

PADO
2001
Springer

Implementing Circularity Using Partial Evaluation

14 years 4 months ago
Implementing Circularity Using Partial Evaluation
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy functional language or in an attribute grammar. In this paper, we consider circular references in the context of an imperative C-like language, by extending the language with a new construct, persistent variables. We show that an extension of partial evaluation can eliminate persistent variables, producing a staged C program. This approach has been implemented in the Tempo specializer for C programs, and has proven useful in the implementation of run-time specialization.
Julia L. Lawall
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where PADO
Authors Julia L. Lawall
Comments (0)