Skip to main content
SpringerLink
Log in

Logic-Based Program Synthesis and Transformation

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Michael Hanus

    1. Institut für Informatik, Christian-Albrechts-Universität Kiel, Kiel, Germany

    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 5438)

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

Included in the following conference series:

Conference proceedings info: LOPSTR 2008.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Download chapter PDF

  2. Space Invading Systems Code

    • Cristiano Calcagno, Dino Distefano, Peter O’Hearn, Hongseok Yang
    Pages 1-3

  3. Test Data Generation of Bytecode by CLP Partial Evaluation

    • Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla
    Pages 4-23

  4. A Modular Equational Generalization Algorithm

    • María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda
    Pages 24-39

  5. A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs

    • Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal
    Pages 40-54

  6. Analysis of Linear Hybrid Systems in CLP

    • Gourinath Banda, John P. Gallagher
    Pages 55-70

  7. Automatic Generation of Test Inputs for Mercury

    • François Degrave, Tom Schrijvers, Wim Vanhoof
    Pages 71-86

  8. Analytical Inductive Functional Programming

    • Emanuel Kitzelmann
    Pages 87-102

  9. The MEB and CEB Static Analysis for CSP Specifications

    • Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
    Pages 103-118

  10. Fast Offline Partial Evaluation of Large Logic Programs

    • Michael Leuschel, Germán Vidal
    Pages 119-134

  11. An Inference Algorithm for Guaranteeing Safe Destruction

    • Manuel Montenegro, Ricardo Peña, Clara Segura
    Pages 135-151

  12. From Monomorphic to Polymorphic Well-Typings and Beyond

    • Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher
    Pages 152-167

  13. On Negative Unfolding in the Answer Set Semantics

    • Hirohisa Seki
    Pages 168-184

  14. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Logic-Based Program Synthesis and Transformation

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

Editors and Affiliations

  • Institut für Informatik, Christian-Albrechts-Universität Kiel, Kiel, Germany

    Michael Hanus

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation