Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Properties of Unfolding-based Meta-level Systems Torben Amtoft
 

Summary: Properties of Unfolding-based Meta-level Systems
Torben Amtoft
Computer Science Department
Aarhus University
Ny Munkegade, building 540
DK-8000 °Arhus C, Denmark
e-mail: tamtoft@daimi.aau.dk
Abstract
It is well known that the performance of a program can
often be improved by means of program transformation.
Several program transformation techniques, eg. partial
evaluation, work as follows: it is recognized that the
original program often, when executed, enters states
with common components. From these components
alone it may be possible to do a lot of computations
once and for all, which otherwise would have to be done
again and again.
The evaluation of the common components mentioned
above may itself benefit from identifying common com-
ponents and evaluating them separately once and for all.

  

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

 

Collections: Computer Technologies and Information Sciences