Summary: Sharing of Computations
Torben Amtoft
Computer Science Department
Aarhus University, Ny Munkegade, DK­8000 š Arhus C,
Denmark
internet: tamtoft@daimi.aau.dk
August 29, 1993

Danish summary
Denne rapport er en revideret udgave af min afhandling af samme navn,
som i juni 1993 blev accepteret til forsvar af PhD­graden i datalogi ved
Aarhus Universitet.
Motivation
I de senere šar har man arbejdet meget med at udvikle værktøjer til at
gøre programmer mere e#ektive. Af teknikker kan nævnes memoiser­
ing [Kho90]; udfold/fold transformationer [PP91b]; graf­baseret imple­
mentation af ``lazy'' evaluering [Jon87] og partiel evaluering [JSS89]. At
disse metoder forbedrer e#ektiviteten skyldes at nogle beregninger de­
les, sša de kun skal gøres ’en gang. Imidlertid er forbindelsen mellem
teknikkerne ikke klart forstšaet, og det er heller ikke klart hvor stor e#ek­

Source: Amtoft, Torben - Department of Computing and Information Sciences, Kansas State University

Collections: Computer Technologies and Information Sciences