Syndetics cover image
Image from Syndetics

Logic Based Program Synthesis and Transformation [electronic resource] : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / edited by Alberto Pettorossi.

Contributor(s): Material type: TextSeries: Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002Edition: 1st ed. 2002Description: VIII, 272 p. online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540456070
Subject(s): DDC classification:
  • 005.1 23
Online resources:
Contents:
Invited Speaker -- Static Analysis for Safe Destructive Updates in a Functional Language -- Program Transformation and Equivalence -- A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs -- On Deforesting Parameters of Accumulating Maps -- Equivalence in Answer Set Programming -- Program Verificaion -- Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols -- Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking -- Verification of Sets of Infinite State Processes Using Program Transformation -- Program Analysis -- When Size Does Matter -- Symbolic Profiling for Multi-paradigm Declarative Languages -- Program Development -- Correct Object-Oriented Systems in Computational Logic -- A Framework for Developing Embeddable Customized Logics -- Computing Environment-Aware Agent Behaviours with Logic Program Updates -- Program Synthesis -- Extracting General Recursive Program Schemes in Nuprl’s Type Theory -- Extracting Exact Time Bounds from Logical Proofs.
No physical items for this record

Invited Speaker -- Static Analysis for Safe Destructive Updates in a Functional Language -- Program Transformation and Equivalence -- A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs -- On Deforesting Parameters of Accumulating Maps -- Equivalence in Answer Set Programming -- Program Verificaion -- Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols -- Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking -- Verification of Sets of Infinite State Processes Using Program Transformation -- Program Analysis -- When Size Does Matter -- Symbolic Profiling for Multi-paradigm Declarative Languages -- Program Development -- Correct Object-Oriented Systems in Computational Logic -- A Framework for Developing Embeddable Customized Logics -- Computing Environment-Aware Agent Behaviours with Logic Program Updates -- Program Synthesis -- Extracting General Recursive Program Schemes in Nuprl’s Type Theory -- Extracting Exact Time Bounds from Logical Proofs.

Licensed e-book