Implementing circularity using partial evaluation

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  • Julia Laetitia Lawall
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.
OriginalsprogEngelsk
TitelProceedings of the Second Symposium on Programs as Data Objects
ForlagSpringer
Publikationsdato2001
Sider84-102
ISBN (Trykt)978-3-540-42068-2
DOI
StatusUdgivet - 2001
BegivenhedPrograms as data objects - Århus, Danmark
Varighed: 29 nov. 2010 → …
Konferencens nummer: 2

Konference

KonferencePrograms as data objects
Nummer2
LandDanmark
ByÅrhus
Periode29/11/2010 → …

ID: 15196537