14. LOPSTR 2004: Verona, Italy

Sandro Etalle (Ed.): Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3573 Springer 2005, ISBN 3-540-26655-0 BibTeX

Verification and Analysis

Wim Vanhoof:
Searching Semantically Equivalent Code Fragments in Logic Programs. 1-18
Electronic Edition (link) BibTeX
Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo:
Determinacy Analysis for Logic Programs Using Mode and Type Information. 19-35
Electronic Edition (link) BibTeX
Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir:
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. 36-52
Electronic Edition (link) BibTeX
Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen:
Fully Automatic Binding-Time Analysis for Prolog. 53-68
Electronic Edition (link) BibTeX

Theory and Security

Jonathan Moody:
Logical Mobility and Locality Types. 69-84
Electronic Edition (link) BibTeX
Annalisa Bossi, Carla Piazza, Sabina Rossi:
Unwinding Conditions for Security in Imperative Languages. 85-100
Electronic Edition (link) BibTeX
Santiago Escobar, José Meseguer, Prasanna Thati:
Natural Rewriting for General Term Rewriting Systems. 101-116
Electronic Edition (link) BibTeX

Transformations

Taisuke Sato, Yoshitaka Kameya:
Negation Elimination for Finite PCFGs. 117-132
Electronic Edition (link) BibTeX
Thom W. Frühwirth:
Specialization of Concurrent Guarded Multi-set Transformation Rules. 133-148
Electronic Edition (link) BibTeX
Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
Efficient Local Unfolding with Ancestor Stacks for Full Prolog. 149-165
Electronic Edition (link) BibTeX

Program Development

Michael Colón:
Schema-Guided Synthesis of Imperative Programs by Constraint Solving. 166-181
Electronic Edition (link) BibTeX
Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal:
Run-Time Profiling of Functional Logic Programs. 182-197
Electronic Edition (link) BibTeX
Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi:
Constructive Specifications for Compositional Units. 198-214
Electronic Edition (link) BibTeX

Termination

M. R. K. Krishna Rao:
Input-Termination of Logic Programs. 215-230
Electronic Edition (link) BibTeX
Alexander Serebrenik, Frédéric Mesnard:
On Termination of Binary CLP Programs. 231-244
Electronic Edition (link) BibTeX

Program Development and Synthesis

Mads Sig Ager:
From Natural Semantics to Abstract Machines. 245-261
Electronic Edition (link) BibTeX
J. B. Wells, Boris Yakobowski:
Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. 262-277
Electronic Edition (link) BibTeX