Maurice Bruynooghe, Kung-Kiu Lau (Eds.):
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development.
Lecture Notes in Computer Science 3049 Springer 2004, ISBN 3-540-22152-2 BibTeX
@proceedings{DBLP:conf/lopstr/2004lncs,
editor = {Maurice Bruynooghe and
Kung-Kiu Lau},
title = {Program Development in Computational Logic: A Decade of Research
Advances in Logic-Based Program Development},
booktitle = {Program Development in Computational Logic},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3049},
year = {2004},
isbn = {3-540-22152-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Specification and Synthesis
- Kung-Kiu Lau, Mario Ornaghi:
Specifying Compositional Units for Correct Program Development in Computational Logic.
1-29
Electronic Edition (link) BibTeX
- David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson:
Synthesis of Programs in Computational Logic.
30-65
Electronic Edition (link) BibTeX
- Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper:
Developing Logic Programs from Specifications Using Stepwise Refinement.
66-89
Electronic Edition (link) BibTeX
Semantics
Analysis
- Jacob M. Howe, Andy King, Lunjin Lu:
Analysing Logic Programs by Reasoning Backwards.
152-188
Electronic Edition (link) BibTeX
- Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel:
Binding-Time Analysis for Mercury.
189-232
Electronic Edition (link) BibTeX
- Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey:
A Generic Framework for Context-Sensitive Analysis of Modular Programs.
233-260
Electronic Edition (link) BibTeX
Transformation and Specialisation
Termination
Systems
Copyright © Sat May 16 23:28:57 2009
by Michael Ley (ley@uni-trier.de)