Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Sel by Andy KingLogic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Sel by Andy King

Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007…

byAndy King

Paperback | March 18, 2008

Pricing and Purchase Info

$124.50

Earn 623 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

Title:Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007…Format:PaperbackDimensions:222 pages, 23.5 × 15.5 × 0.07 inPublished:March 18, 2008Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540787682

ISBN - 13:9783540787686

Look for similar items by category:

Reviews

Table of 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.