| 2000 | A minimal specification language. | Walter W. Wilson |
| 2000 | Towards a modular binding-time analysis for higher-order Mercury. | Wim Vanhoof, Maurice Bruynooghe |
| 2000 | Higher-Order Transformation of Logic Programs. | Silvija Seres, J. Michael Spivey |
| 2000 | Higher-order transformation of logic programs. | Silvija Seres, J. Michael Spivey |
| 2000 | Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings. | Alexander Serebrenik, Danny De Schreye |
| 2000 | Non-tranformational termination analysis of logic programs, based on general term-orderings. | Alexander Serebrenik, Danny De Schreye |
| 2000 | Protocols between Programs and Proofs. | Iman Poernomo, John N. Crossley |
| 2000 | Protocols between programs and proofs. | Iman Poernomo, John N. Crossley |
| 2000 | Measuring the Precision of Abstract Interpretations. | Alessandra Di Pierro, Herbert Wiklicky |
| 2000 | On the precision of abstract interpretations. | Alessandra Di Pierro, Herbert Wiklicky |
| 2000 | Specifying Prolog Trace Models with a Continuation Semantics. | Erwan Jahier, Mireille Ducass, Olivier Ridoux |
| 2000 | Specifying Prolog trace models with a continuation semantics. | Erwan Jahier, Mireille Ducass, Olivier Ridoux |
| 2000 | Automated Strategies for Specializing Constraint Logic Programs. | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2000 | Automated strategies for specializing constraint logic programs. | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2000 | The lazy functional side of logic programming. | Sandro Etalle, Jon Mountjoy |
| 2000 | Prolog and abduction 4 writing garbage collectors. | Bart Demoen |
| 2000 | A Technique for Modular Logic Program Refinement. | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
| 2000 | Modular Logic Program Refinement. | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
| 2000 | A Model for Inter-module Analysis and Optimizing Compilation. | Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germn Puebla, Peter J. Stuckey |
| 2000 | A model for inter-module analysis and optimizing compilation. | Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germn Puebla, Peter J. Stuckey |
| 2000 | A Formal Framework for Synthesis and Verification of Logic Programs. | Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini |
| 2000 | A formal framework for synthesis and verification of logic programs. | Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini |
| 2000 | Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. | Elvira Albert, Sergio Antoy, Germn Vidal |
| 2000 | Measuring the Effectiveness of Partial Evaluation. | Elvira Albert, Sergio Antoy, Germn Vidal |
| 1999 | Mode Analysis Domains for Typed Logic Programs. | Jan-Georg Smaus, Patricia M. Hill, Andy King |