Limit search to available items
Book Cover
Author LOPSTR (Symposium) (17th : 2007 : Lyngby, Denmark)

Title Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers / Andy King (ed.)
Published Berlin ; New York : Springer, 2008


Description 1 online resource (x, 217 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4915
Lecture notes in computer science ; 4915.
Contents Program Termination -- Proving Termination with (Boolean) Satisfaction -- Termination Analysis of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs -- Aggregates for CHR through Program Transformation -- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule-Based Constraint Solvers: Combined Approach -- A Scalable Inclusion Constraint Solver Using Unification -- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs -- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs -- Software Engineering -- Snapshot Generation in a Constructive Object-Oriented Modeling Language -- Synthesis of Data Views for Communicating Processes -- Action Refinement in Process Algebra and Security Issues
Bibliography Includes bibliographical references and index
Notes English
Print version record
Subject Logic programming -- Congresses
Logic programming.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author King, Andrew Malcolm.
LC no. 2008922726
ISBN 9783540787693