Wim Vanhoof  Home/Search
Context
Related
| cs.kuleuven.ac.be/~dtai/...35398.pdf.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: cs.kuleuven.ac.be/...2001E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Interpretation . . . . . . . . . . 65 3.3.1 Basic Binding-time Analysis . . . . . . . . . . . . . . . . . . 65 3.3.2 Incorporating Specialisation Control . . . . . . . . . . . . . 68 3.3.3 Congruence . . . . . . . . . . . . . . . . . . . . . . . . . . . 76 3.4 From Binding-times to Specialisation . . . . . . . . . . . . . . . . . 79 3.4.1 An Annotated Program . . . . . . . . . . . . . . . . . . . . 79 3.4.2 From Annotation to Specialisation . . . . . . . . . . . . . . 83 3.4.3 Correctness . . . ... (Update)
Active bibliography (related documents): More All
0.6: A Fixed Point Semantics for Logic Programs Extended.. - Vanhoof.. (Correct)
0.6: Bottom-up Transformation for Programs with Procedural Control - Vanhoof, Bruynooghe (Correct)
0.5: A Generic Framework for Context-Sensitive Analysis .. - Puebla, Correas.. (Correct)
Similar documents based on text: More All
2.2: Wavelets For Multiscale Texture Analysis - Wouwer (1998) (Correct)
1.9: Hoe met LATEX een boek kan worden gemaakt - Smedinga (1991) (Correct)
1.7: Characterizing The Irregularity Of Measurements By Means Of The.. - Staal (1995) (Correct)
BibTeX entry: (Update)
@misc{ vanhoof-techniques,
author = "Wim Vanhoof",
title = "Techniques for on- and Off-Line Specialisation of Logic Programs",
url = "citeseer.ist.psu.edu/456940.html" }
Citations (may not include all citations):250 Computer Science Press (context) - Ullman
232 Constant propagation with conditional branches (context) - Wegman, Zadeck - 1991
57 The concept of a supercompiler (context) - Turchin - 1986
50 Bottom-up beats top-down for datalog (context) - Ullman
48 Automatic online partial evaluation (context) - Weise, Conybeare et al. - 1991
38 Declarative specialization of object-oriented programs - Volanschi, Consel et al. - 1997
22 Deriving Termination Proofs for Logic Programs (context) - Verschaetse, De Schreye - 1991
14 A Prolog meta interpreter for partial evaluation and its app.. (context) - Venken - 1984
13 Logic-Based Knowledge Representation (context) - Reichgelt, van Harmelen - 1997
9 Binding-time analysis for Mercury - Vanhoof, Bruynooghe
9 Binding-time analysis for Mercury - Vanhoof, Bruynooghe
6 A framework for bottom up specialisation of logic programs - Vanhoof, Schreye et al.
6 Specialising the other way around - Vanhoof, Martens et al. - 1998
6 A framework for bottom up specialisation of logic programs - Vanhoof, Schreye et al. - 1998
5 Binding-time annotations without binding-time analysis - Vanhoof, Bruynooghe - 2001
3 Bottom-up partial deduction of logic programs - Vanhoof, Schreye et al. - 1999
2 Towards modular binding-time analysis for first-order Mercur.. - Vanhoof, Bruynooghe
1 Bottom up specialisation of logic programs - Vanhoof, Schreye et al.
1 Towards a modular binding-time analysis for higher-order Mer.. (context) - Notes, Computer et al. - 2000
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/2001-E.shtml): More
On Termination of Meta-Programs - Serebrenik (2001) (Correct)
On Termination of Meta-Programs - Serebrenik, De Schreye (2001) (Correct)
The Learning Shell: Automated Macro Construction - Jacobs, Blockeel (2001) (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