Readscheme.org
Partial Evaluation Bibliography Home
Surveys
Techniques
Lambda Calculus
Scheme
C
Java
Logic Program Specialization
Applications
Recent Additions
Browse by Author
Search...
Implementations
Past Events
Journal Special Issues
Implementations

Techniques and Implementations of Logic Program Specialization

  • John P. Gallagher. "Specialisation of Logic Programs: A Tutorial". ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '93). June 1993. Available online: ps pdf. Abstract and citation.
  • Michael Leuschel. "Logic Program Specialisation". Partial Evaluation: Practice and Theory, 1998 DIKU Summerschool. 1998. Available online: ps pdf. Abstract and citation.
  • Michael Leuschel. "Advanced Logic Program Specialisation". Partial Evaluation: Practice and Theory, 1998 DIKU Summerschool. 1998. Available online: ps pdf. Abstract and citation.
  • Michael Leuschel. "Advanced Techniques for Logic Program Specialization". PhD. Thesis. Katholieke Universiteit Leuven. May 1996. Available online: ps pdf. Citation.
  • Srinivasa Yadavalli. "Partial Evaluation in an Optimizing Prolog Compiler". PhD. Thesis. University of Saskatchewan. April 2000. Available online: pdf. Citation.
  • Dan Sahlin. "An Automatic Partial Evaluator for Full Prolog". PhD. Thesis. The Royal Institute of Technology. March 1991. Available online: ps pdf. Citation.
  • Wim Vanhoof. "Techniques for online and offline specialisation of logic programs". PhD. Thesis. Katholieke Universiteit Leuven. June 2001. Available online: ps pdf. Citation.
  • Michael Leuschel. "Self-applicable Partial Evaluation in Prolog". Masters Thesis. Katholieke Universiteit Leuven. 1993. Citation.
  • Charles Consel and Siau Cheng Khoo. "Semantics-directed generation of a Prolog compiler". Science of Computer Programming. volume 21. 1993. Available online: ps pdf. Citation.
  • Anders Bondorf, F. Frauendorf and M. Richter. "An experiment in automatic self-applicable partial evaluation of Prolog". University of Dortmund. Technical Report 335. 1990. Citation.
  • Anders Bondorf and Torben Æ. Mogensen. "Logimix: A Self-Applicable Partial Evaluator for Prolog". May 1990. Citation.
  • Torben Æ. Mogensen and Anders Bondorf. "Logimix: a self-applicable partial evaluator for Prolog". LOPSTR 92. January 1993. Available online: ps pdf. Citation.
  • J. W. Lloyd and J. C. Shepherdson. "Partial Evaluation in Logic Programming". University of Bristol. Technical Report CS-87-09. 1987. Citation.
  • J. W. Lloyd and J. C. Shepherdson. "Partial evaluation in logic programming". Journal of Logic Programming. 11:217–242. 1991. Citation.
  • David A. Fuller. "Partial Evaluation and Mix Computation in Logic Programming". PhD. Thesis. Imperial College. February 1989. Citation.
  • Corin Gurr. "A Guide to specialising Gödel programs with the partial evaluator SAGE". University of Bristol. CSTR-95-05. 1995. Available online: ps pdf. Citation.
  • Corin Gurr. "SAGE: A Self-Applicable Partial Evaluator for the Logic Programming Language Gödel". PhD. Thesis. University of Bristol. January 1994. Available online: ps pdf. Citation.
  • Corin Gurr. "A Self-Applicable Partial Evaluator for the Logic Programming Language Goedel". University of Edinburgh. 1994. Available online: ps pdf. Citation.
  • Corin Gurr. "Specialising the Ground Representation in the Logic Programming Language Goedel". University of Bristol. CSTR-92-30. 1992. Available online: ps pdf. Citation.
  • Corin Gurr. "Specialising the ground representation in the logic programming language Gödel". Third International Workshop on Logic Program Synthesis and Transformation. July 1993. Available online: ps pdf. Citation.
  • Antony Bowers and Corin Gurr. "Towards fast and declarative meta-programming". Meta-logics and Logic Programming. 1995. Available online: ps pdf. Citation.
  • Laura Lafave and John P. Gallagher. "Partial Evaluation of Functional Logic Programs in Rewriting-based Languages". University of Bristol. CSTR-97-001. March 1997. Available online: pdf. Citation.
  • Julio C. Peralta and John P. Gallagher. "Towards Semantics-Based Partial Evaluation of Imperative Programs". University of Bristol. CSTR-97-003. April 1997. Available online: pdf. Citation.
  • Laura Lafave and John P. Gallagher. "Constraint-based Partial Evaluation of Rewriting-based Functional Logic Programs". Program Synthesis and Transformation, LOPSTR'97. July 1997. Citation.
  • John P. Gallagher and Laura Lafave. "The role of trace abstractions in program specialization algorithms". ACM Computing Surveys. volume 30 (3es). September 1998. Available online: ACM Digital Library. Citation.
  • Laura Lafave and John P. Gallagher. "Extending the power of automatic constraint-based partial evaluators". ACM Computing Surveys. volume 30 (3es). September 1998. Available online: ACM Digital Library. Citation.
  • G. Puebla, M. Hermenegildo and John P. Gallagher. "An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework". Partial Evaluation and Semantics-Based Program Manipulation, PEPM'99. January 1999. Available online: pdf. Citation.
  • John P. Gallagher and Julio C. Peralta. "Using Regular Approximations for Generalisation During Partial Evaluation". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'2000). January 2000. Available online: pdf. Citation.
  • Julio C. Peralta and John P. Gallagher. "Imperative Program Specialisation: An Approach Using CLP". Logic-Based Program Synthesis and Transformation (LOPSTR'99). April 2000. Citation.
  • John P. Gallagher and Julio C. Peralta. "Regular Trees as an Abstract Domain for Program Specialisation". University of Bristol. CSTR-00-010. September 2000. Available online: pdf. Citation.
  • John P. Gallagher and Julio C. Peralta. "Regular Tree Languages as an Abstract Domain in Program Specialisation". Higher-Order and Symbolic Computation. 14(2-3). November 2001. Citation.
  • Laura Lafave. "A Constraint-based Partial Evaluator for Functional Logic Programs and its Application". PhD. Thesis. University of Bristol. February 1999. Available online: pdf. Citation.
  • D. Andre de Waal. "Analysis and Transformation of Proof Procedures". PhD. Thesis. University of Bristol. October 1994. Available online: pdf. Citation.
  • Antony Bowers. "Effective Meta-programming in Declarative Languages". PhD. Thesis. University of Bristol. January 1998. Available online: pdf. Citation.
  • Julio C. Peralta. "Analysis and Specialisation of Imperative Programs: An approach using CLP". PhD. Thesis. University of Bristol. July 2000. Available online: pdf. Citation.
  • D. Andre de Waal, John P. Gallagher. "The Applicability of Logic Program Analysis and Transformation to Theorem Proving". University of Bristol. September 1993. Available online: ps pdf. Citation.
  • John P. Gallagher. "A System For Specialising Logic Programs". University of Bristol. November 1991. Available online: ps pdf. Citation.
  • D. Andre de Waal, John P. Gallagher. "Logic Program Specialisation With Deletion of Useless Clauses". University of Bristol. 1993. Available online: pdf. Citation.
  • David A. Fuller, Sacha Bocic and Leopoldo Bertossi. "Towards Efficient Partial Evaluation in Logic Programming". New Generation Computing. 14(2). 1996. Available online: pdf. Citation.
  • S. Barker, Michael Leuschel and M. Varea. "Efficient and Flexible Access Control via Logic Program Specialisation". Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2004). 2004. Available online: pdf. Citation.
  • S. J. Craig, John P. Gallagher, Michael Leuschel and K. S. Henriksen. "Fully Automatic Binding Time Analysis for Prolog". LOPSTR'04. 2004. Available online: pdf. Citation.
  • S. J. Craig and Michael Leuschel. "Lix: An Effective Self-applicable Partial Evaluator for Prolog". Functional and Logic Programming, FLOPS 2004. 2004. Available online: pdf. Citation.
  • Michael Leuschel. "A Framework for the Integration of Partial Evaluation and Abstract Interpretation of Logic Programs". ACM Transactions on Programming Languages and Systems (TOPLAS). 26(3). 2004. Available online: pdf. Citation.
  • Michael Leuschel, S. J. Craig, M. Bruynooghe and Wim Vanhoof. "Specializing Interpreters using Offline Partial Deduction". Program Development in Computational Logic. 2004. Available online: pdf. Citation.
  • Michael Leuschel, Jesper Jørgensen, Wim Vanhoof and M. Bruynooghe. "Offline Specialisation in Prolog Using a Hand-Written Compiler Generator". Theory and Practice of Logic Programming. 4(1). 2004. Available online: pdf. Citation.
  • Wim Vanhoof, M. Bruynooghe and Michael Leuschel. "Binding-Time Analysis for Mercury". Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development. 2004. Available online: pdf. Citation.
  • S. J. Craig and Michael Leuschel. "A Compiler Generator for Constraint Logic Programs". Perspectives of System Informatics, Andrei Ershov Fifth International Conference. 2003. Available online: ps. Citation.
  • D. Elphick, Michael Leuschel and S. Cox. "Partial Evaluation of MATLAB". Generative Programming and Component Engineering (GPCE'2003). 2003. Citation.
  • B. Farwer and Michael Leuschel. "Model Checking of Object Petri Nets in Prolog". University of Southampton. DSSE-TR-2003-4. 2003. Available online: pdf. Citation.
  • H. Lehmann and Michael Leuschel. "Inductive Theorem Proving by Program Specialisation: Generating proofs for Isabelle using Ecce". Logic Based Program Synthesis and Transformation, LOPSTR 2003. 2003. Available online: pdf. Citation.
  • Michael Leuschel, S. J. Craig, M. Bruynooghe and Wim Vanhoof. "Specializing Interpreters using Offline Partial Deduction". University of Southampton. DSSE-TR-2003-5. 2003. Available online: pdf. Citation.
  • H. Lehmann and Michael Leuschel. "Generating inductive verification proofs for Isabelle using the partial evaluator Ecce". University of Southampton. DSSE-TR-2002-02. 2002. Available online: pdf. Citation.
  • Michael Leuschel and M. Bruynooghe. "Logic program specialisation through partial deduction: Control Issues". Theory and Practice of Logic Programming. 2805(4&5). 2002. Available online: pdf. Citation.
  • Michael Leuschel and S. Gruner. "Abstract Conjunctive Partial Deduction using Regular Types and its Application to Model Checking". Logic Based Program Synthesis and Transformation, LOPSTR'2002. 2002. Available online: pdf. Citation.
  • Michael Leuschel and T. Massart. "Logic programming and partial deduction for the verification of reactive systems: An experimental evaluation". Automated Verification of Critical Systems AVoCS'02. 2002. Available online: pdf. Citation.
  • Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens and Morten H. Sørensen. "Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments". Journal Logic Programming. 41(2&3). 1999. Available online: ps pdf. Citation.
  • Michael Leuschel and Jesper Jørgensen. "Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN". Electronic Notes in Theoretical Computer Science. 30(2). 1999. Citation.
  • Michael Leuschel and Jesper Jørgensen. "Efficient Specialisation in Prolog Using a Hand-Written Compiler Generator". University of Southampton. DSSE-TR-99-6. 1999. Available online: ps pdf. Citation.
  • J. Martin and Michael Leuschel. "Sonic Partial Deduction". Third International Ershov Confernce on Perspectives of System Informatics. 1999. Available online: ps pdf. Citation.
  • M. Bruynooghe, Michael Leuschel and K. Sagonas. "A Polyvariant Binding-Time Analysis for Off-line Partial Deduction". European Symposium on Programming (ESOP'98). 1998. Available online: ps pdf. Citation.
  • Michael Leuschel. "Program Specialisation and Abstract Interpretation Reconciled". Joint Int. Conf. and Symp. on Logic Programming (JICSLP). 1998. Available online: ps pdf. Citation.
  • Michael Leuschel and Danny De Schreye. "Creating Specialised Integrity Checks Through Partial Evaluation of Meta-interpreters". Journal of Logic Programming. 36. 1998. Available online: ps pdf. Citation.
  • Michael Leuschel and Danny De Schreye. "Creating Specialised Integrity Checks Through Partial Evaluation of Meta-interpreters". Katholieke Universiteit Leuven. 1998. Available online: ps pdf. Citation.
  • Michael Leuschel, Bern Martens and Danny De Schreye. "Controlling Generalisation and Polyvariance in Partial Deduction of Normal Logic Programs". ACM Transactions on Programming Languages and Systems (TOPLAS). 20(1). 1998. Available online: ps pdf. Citation.
  • Michael Leuschel, Bern Martens and Danny De Schreye. "Some Achievements and Prospects in Partial Deduction". Symposium on Partial Evaluation, 1998. 1998. Available online: ps pdf. Citation.
  • K. Sagonas and Michael Leuschel. "Extending Partial Deduction to Tabled Execution: Some Results and Open Issues". Symposium on Partial Evaluation, 1998. 1998. Available online: ps pdf. Citation.
  • Michael Leuschel. "Advanced Techniques for Logic Program Specialisation". AI Communications. 10. 1997. Citation.
  • Michael Leuschel. "The ecce Partial Deduction System". ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming. 1997. Available online: ps pdf. Citation.
  • Michael Leuschel, Bern Martens and Danny De Schreye. "Controlling Generalisation and Polyvariance in Partial Deduction of Normal Logic Programs". Katholieke Universiteit Leuven. CW-248. February 1997. Available online: ps pdf. Citation.
  • Jesper Jørgensen and Michael Leuschel. "Efficiently Generating Efficient Generating Extensions in Prolog". Dagstuhl Seminar on Partial Evaluation 1996. 1996. Citation.
  • Jesper Jørgensen and Michael Leuschel. "Efficiently Generating Efficient Generating Extensions in Prolog". Katholieke Universiteit Leuven. CW-221. 1996. Available online: ps pdf. Citation.
  • Jesper Jørgensen, Michael Leuschel and Bern Martens. "Conjunctive Partial Deduction in Practice". Logic Program Synthesis and Transformation (LOPSTR'96). 1996. Available online: ps pdf. Citation.
  • Robert Glück, Jesper Jørgensen, Bern Martens and Morten H. Sørensen. "Controlling Conjunctive Partial Deduction of Definite Logic Programs". Katholieke Universiteit Leuven. CW-226. February 1996. Citation.
  • Michael Leuschel and Danny De Schreye. "Logic Program Specialisation: How To Be More Specific". Programming Languages, Implementations, Logics and Programs (PLILP'96). 1996. Available online: ps pdf. Citation.
  • Michael Leuschel and Morten H. Sørensen. "Redundant Argument Filtering of Logic Programs". Logic Program Synthesis and Transformation (LOPSTR'96). 1996. Available online: ps pdf. Citation.
  • Michael Leuschel. "Partial Evaluation of the Real Thing". Logic Program Synthesis and Transformation (LOPSTR'95). 1995. Available online: ps pdf. Citation.
  • Michael Leuschel and Danny De Schreye. "Towards Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'95). 1995. Available online: ps pdf. Citation.
  • Michael Leuschel, Danny De Schreye and Bern Martens. "Tutorial on Program Specialisation". International Logic Programming Symposium (ILPS). 1995. Citation.
  • Michael Leuschel and Bern Martens. "Partial Deduction of the Ground Representation and its Application to Integrity Checking". Int. Logic Programming Symposium (ILPS). 1995. Available online: ps pdf. Citation.
  • Michael Leuschel. "Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints". Logic Program Synthesis and Transformation, LOPSTR'95. September 1995. Available online: ps pdf. Citation.
  • Michael Leuschel and Danny De Schreye. "An Almost Perfect Abstraction Operator for Partial Deduction". Katholieke Universiteit Leuven. CW 199. December. Available online: ps pdf. Citation.

Last modified: Monday, February 16th, 2009 6:22:10pm
HTML generated using WebIt!.