Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2007

Logic-Based Program Synthesis and Transformation

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

Editors:

  1. Germán Puebla
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): LOPSTR: International Symposium on Logic-Based Program Synthesis and Transformation

Conference proceedings info: LOPSTR 2006.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (16 papers)

  1. Front Matter

    PDF

  2. Invited Talks

    2. CHESS: Systematic Stress Testing of Concurrent Software

      • Madan Musuvathi, Shaz Qadeer
      Pages 15-16

  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

    2. 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

    4. 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

    PDF
Back to top

Other Volumes

  1. Logic-Based Program Synthesis and Transformation

Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation