Skip to main content
SpringerLink
Log in
Book cover

Logic Based Program Synthesis and Transformation

11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Alberto Pettorossi

    1. University of Rome Tor Vergata, Rome, Italy

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

Included in the following conference series:

Conference proceedings info: LOPSTR 2001.

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 (14 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Invited Speaker

    1. Static Analysis for Safe Destructive Updates in a Functional Language

      • Natarajan Shankar
      Pages 1-24

  3. Program Transformation and Equivalence

    1. A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs

      • Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis
      Pages 25-45

    2. On Deforesting Parameters of Accumulating Maps

      • Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura
      Pages 46-56

    3. Equivalence in Answer Set Programming

      • Mauricio Osorio, Juan A. Navarro, José Arrazola
      Pages 57-75

  4. Program Verificaion

    1. Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols

      • Giorgio Delzanno, Sandro Etalle
      Pages 76-90

    2. Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

      • Michael Leuschel, Stefan Gruner
      Pages 91-110

    3. Verification of Sets of Infinite State Processes Using Program Transformation

      • Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
      Pages 111-128

  5. Program Analysis

    1. When Size Does Matter

      • Wim Vanhoof, Maurice Bruynooghe
      Pages 129-147

    2. Symbolic Profiling for Multi-paradigm Declarative Languages

      • Elvira Albert, Germán Vidal
      Pages 148-167

  6. Program Development

    1. Correct Object-Oriented Systems in Computational Logic

      • Kung-Kiu Lau, Mario Ornaghi
      Pages 168-190

    2. A Framework for Developing Embeddable Customized Logics

      • Sébastien Ferré, Olivier Ridoux
      Pages 191-215

    3. Computing Environment-Aware Agent Behaviours with Logic Program Updates

      • José J. Alferes, Antonio Brogi, João A. Leite, Luís M. Pereira
      Pages 216-232

  7. Program Synthesis

    1. Extracting General Recursive Program Schemes in Nuprl’s Type Theory

      • James L. Caldwell
      Pages 233-244

    2. Extracting Exact Time Bounds from Logical Proofs

      • Mauro Ferrari, Camillo Fiorentini, Mario Ornaghi
      Pages 245-265

  8. Back Matter

    Pages 267-267
    Download chapter PDF
Back to top

Other volumes

  1. Logic Based Program Synthesis and Transformation

Keywords

Editors and Affiliations

  • University of Rome Tor Vergata, Rome, Italy

    Alberto Pettorossi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation