Dan Sahlin  Home/Search
Context Related
| sics.se/pub/isl/pa...ahlinthesis.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sics.se/isl/papers/older (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A partial evaluator for Prolog takes a program and a query and returns a program specialized for all instances of that query. The intention is that the generated program will execute more efficiently than the original one for those instances. This thesis presents "Mixtus", an automatic partial evaluator for full Prolog, i.e. including non-logical features such as cut, assert, var, write etc. Mixtus does not need any annotations to guide it in its process, but will automatically generate a... (Update)
Context of citations to this paper: More
.... that (2) might happen, one will have to make some static arguments dynamic (thus giving rise to less sharing of computations) In [Sah91] a partial evaluator for full PROLOG is given which does not violate termination properties. A number of ways to ensure this are proposed,...
Cited by: More
Regular Trees as an Abstract Domain for Program Specialisation - Gallagher, Peralta (2000) (Correct)
On the Specialization of Online Program Specializers - Ruf, Weise (1992) (Correct)
Advanced Techniques for Logic Program Specialisation - Leuschel (1997) (Correct)
Similar documents based on text: More All
0.1: Unfolding and Aggregating Transformations of Real.. - Rabaute, Devienne.. (Correct)
0.1: Term Schematizations and Their Applications - Hermann, Salzer (1995) (Correct)
0.0: Schema-Based Logic Program Transformation - Büyükyildiz (1997) (Correct)
Related documents from co-citation: More All
20: Foundations of Logic Programming (context) - Lloyd - 1987
17: Partial evaluation in logic programming (context) - Lloyd, Shepherdson - 1991
12: A Self-Applicable Partial Evaluator for the Logic Programming Language Godel (context) - Gurr - 1994
BibTeX entry: (Update)
D. Sahlin. An Automatic Partial Evaluator for Full Prolog. PhD thesis, Swedish Institute of Computer Science, Mar. 1991. http://citeseer.ist.psu.edu/sahlin91automatic.html More
@phdthesis{ sahlin91automatic,
author = "D. Sahlin",
title = "An Automatic Partial Evaluator for Full Prolog",
year = "1991",
url = "citeseer.ist.psu.edu/sahlin91automatic.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.sics.se/isl/papers/older.html): More
Concurrent Constraint Programming at SICS with the .. - Haridi, Janson.. (1993) (Correct)
Ports for Objects in Concurrent Logic Programs - Janson, Montelius, Haridi (1993) (Correct)
Automatic Frequency Assignment for Cellular Telephones Using .. - Carlsson, Grindal (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC