Abstract is missing.
- Protocols between programs and proofsIman Poernomo, John N. Crossley. [doi]
- On the precision of abstract interpretationsAlessandra Di Pierro, Herbert Wiklicky. [doi]
- Towards a modular binding-time analysis for higher-order MercuryWim Vanhoof, Maurice Bruynooghe. [doi]
- Measuring the Effectiveness of Partial EvaluationElvira Albert, Sergio Antoy, Germán Vidal. [doi]
- Specifying Prolog trace models with a continuation semanticsErwan Jahier, Mireille Ducassé, Olivier Ridoux. [doi]
- Automated strategies for specializing constraint logic programsFabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. [doi]
- Higher-order transformation of logic programsSilvija Seres, J. Michael Spivey. [doi]
- Prolog and abduction 4 writing garbage collectorsBart Demoen. [doi]
- Modular Logic Program RefinementRobert Colvin, Ian J. Hayes, Paul A. Strooper. [doi]
- A formal framework for synthesis and verification of logic programsAlessandro Avellone, Mauro Ferrari, Camillo Fiorentini. [doi]
- Non-tranformational termination analysis of logic programs, based on general term-orderingsAlexander Serebrenik, Danny De Schreye. [doi]
- A minimal specification languageWalter W. Wilson. [doi]
- The lazy functional side of logic programmingSandro Etalle, Jon Mountjoy. [doi]
- A model for inter-module analysis and optimizing compilationFrancisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey. [doi]
- A Formal Framework for Synthesis and Verification of Logic ProgramsAlessandro Avellone, Mauro Ferrari, Camillo Fiorentini. 1-17 [doi]
- Protocols between Programs and ProofsIman Poernomo, John N. Crossley. 18-37 [doi]
- A Technique for Modular Logic Program RefinementRobert Colvin, Ian J. Hayes, Paul A. Strooper. 38-56 [doi]
- Higher-Order Transformation of Logic ProgramsSilvija Seres, J. Michael Spivey. 57-68 [doi]
- Non-transformational Termination Analysis of Logic Programs, Based on General Term-OrderingsAlexander Serebrenik, Danny De Schreye. 69-85 [doi]
- A Model for Inter-module Analysis and Optimizing CompilationFrancisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey. 86-102 [doi]
- Measuring the Effectiveness of Partial Evaluation in Functional Logic LanguagesElvira Albert, Sergio Antoy, Germán Vidal. 103-124 [doi]
- Automated Strategies for Specializing Constraint Logic ProgramsFabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. 125-146 [doi]
- Measuring the Precision of Abstract InterpretationsAlessandra Di Pierro, Herbert Wiklicky. 147-164 [doi]
- Specifying Prolog Trace Models with a Continuation SemanticsErwan Jahier, Mireille Ducassé, Olivier Ridoux. 165-182 [doi]