11. LOPSTR 2001: Paphos, Cyprus

@proceedings{DBLP:conf/lopstr/2001,
  editor    = {Alberto Pettorossi},
  title     = {Logic Based Program Synthesis and Transformation, 11th International
               Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001,
               Selected Papers},
  booktitle = {LOPSTR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2372},
  year      = {2001},
  isbn      = {3-540-43915-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Speaker

• Natarajan Shankar:
  Static Analysis for Safe Destructive Updates in a Functional Language. 1-24
  Electronic Edition (Springer LINK) BibTeX

Program Transformation and Equivalence

• Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis:
  A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs. 25-45
  Electronic Edition (Springer LINK) BibTeX
• Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura:
  On Deforesting Parameters of Accumulating Maps. 46-56
  Electronic Edition (Springer LINK) BibTeX
• Mauricio Osorio, Juan A. Navarro, José Arrazola:
  Equivalence in Answer Set Programming. 57-75
  Electronic Edition (Springer LINK) BibTeX

Program Verification

• Giorgio Delzanno, Sandro Etalle:
  Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. 76-90
  Electronic Edition (Springer LINK) BibTeX
• Michael Leuschel, Stefan Gruner:
  Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. 91-110
  Electronic Edition (Springer LINK) BibTeX
• Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
  Verification of Sets of Infinite State Processes Using Program Transformation. 111-128
  Electronic Edition (Springer LINK) BibTeX

Program Analysis

• Wim Vanhoof, Maurice Bruynooghe:
  When Size Does Matter. 129-147
  Electronic Edition (Springer LINK) BibTeX
• Elvira Albert, Germán Vidal:
  Symbolic Profiling for Multi-paradigm Declarative Languages. 148-167
  Electronic Edition (Springer LINK) BibTeX

Program Development

• Kung-Kiu Lau, Mario Ornaghi:
  Correct Object-Oriented Systems in Computational Logic. 168-190
  Electronic Edition (Springer LINK) BibTeX
• Sébastien Ferré, Olivier Ridoux:
  A Framework for Developing Embeddable Customized Logics. 191-215
  Electronic Edition (Springer LINK) BibTeX
• José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira:
  Computing Environment-Aware Agent Behaviours with Logic Program Updates. 216-232
  Electronic Edition (Springer LINK) BibTeX

Program Synthesis

• James L. Caldwell:
  Extracting General Recursive Program Schemes in Nuprl's Type Theory. 233-244
  Electronic Edition (Springer LINK) BibTeX
• Mauro Ferrari, Camillo Fiorentini, Mario Ornaghi:
  Extracting Exact Time Bounds from Logical Proofs. 245-266
  Electronic Edition (Springer LINK) BibTeX