Logic-Based Program Synthesis and Transformation

16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

  • Editors
  • Germán Puebla
Conference proceedings LOPSTR 2006

DOI: 10.1007/978-3-540-71410-1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4407)

Table of contents (16 papers)

  1. Front Matter
  2. Invited Talks

  3. Program Development

    1. ARM: Automatic Rule Miner
      Slim Abdennadher, Abdellatif Olama, Noha Salem, Amira Thabet
      Pages 17-25
    2. Constructing Consensus Logic Programs
      Chiaki Sakama, Katsumi Inoue
      Pages 26-42
  4. Partial Evaluation and Program Transformation

    1. Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
      Michael Leuschel, Stephen-John Craig, Dan Elphick
      Pages 43-59
    2. Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs
      Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
      Pages 60-76
    3. Towards Description and Optimization of Abstract Machines in an Extension of Prolog
      José F. Morales, Manuel Carro, Manuel Hermenegildo
      Pages 77-93
  5. Security and Synthesis

    1. Combining Different Proof Techniques for Verifying Information Flow Security
      Heiko Mantel, Henning Sudbrock, Tina Kraußer
      Pages 94-110
    2. On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors
      Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty
      Pages 111-126
    3. Synthesis of Asynchronous Systems
      Sven Schewe, Bernd Finkbeiner
      Pages 127-142
  6. Debugging and Testing

    1. A Program Transformation for Tracing Functional Logic Computations
      Bernd Brassel, Sebastian Fischer, Frank Huch
      Pages 160-176
  7. Termination and Analysis

    1. Automated Termination Analysis for Logic Programs by Term Rewriting
      Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann
      Pages 177-193
    2. Grids: A Domain for Analyzing the Distribution of Numerical Values
      Roberto Bagnara, Katy Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella
      Pages 219-235
  8. Back Matter

About these proceedings

Keywords

Debugging algorithm algorithms computational logic constraint programming formal methods functional programming logic logic program manipulation nonmonotonic reasoning optimization progr program analysis proving semantic web

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-71409-5
  • Online ISBN 978-3-540-71410-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349