Thumbnail
Access Restriction
Open

Author Neumerkel, Ulrich
Source CiteSeerX
Content type Text
Publisher Springer-Verlag
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Mere Source ♦ Source Transformation ♦ Following Optimization ♦ Prolog Program ♦ Transformation Relies ♦ Operational Equivalence ♦ Di Erence List ♦ New Transformation ♦ Continuation-like User Data Structure ♦ Interprocedural Register Allocation ♦ Transformation Ebc ♦ Cient Representation ♦ Existential Variable
Description We present a new transformation of Prolog programs preserving operational equivalence. Our transformation --- EBC (equality based continuation) transformation --- relies on the introduction of equations between terms. These equations are used to introduce alternative and more e#- cient representations of terms. When applied to binary Prolog programs, EBC is able to perform the following optimizations by mere source to source transformations: removal of existential variables in programs using di#erence lists and accumulators, reduction of the number of occurchecks, interprocedural register allocation when executed on the WAM, linearization of recursions, optimization of continuation-like user data structures.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 1993-01-01
Publisher Institution Logic Program Synthesis and Transformation, Proceedings of LOPSTR '93, Louvain-la-Neuve, Belgium, Workshops in Computing