+612 9045 4394
 
CHECKOUT
Logic-Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000: Selected Papers :  10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000: Selected Papers - Kung-Kiu Lau

Logic-Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000: Selected Papers

10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000: Selected Papers

By: Kung-Kiu Lau (Editor)

Paperback Published: June 2001
ISBN: 9783540421276
Number Of Pages: 188

Share This Book:

Paperback

$125.05
or 4 easy payments of $31.26 with Learn more
Ships in 5 to 9 business days

This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

Synthesis
A Formal Framework for Synthesis and Verification of Logic Programsp. 1
Protocols between Programs and Proofsp. 18
A Technique for Modular Logic Program Refinementp. 38
Transformation
Higher-Order Transformation of Logic Programsp. 57
Analysis
Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderingsp. 69
Specialisation
A Model for Inter-module Analysisp. 86
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languagesp. 103
Automated Strategies for Specializing Constraint Logic Programsp. 125
Abstract Interpretation
Measuring the Precision of Abstract Interpretationsp. 147
Debugging
Specifying Prolog Trace Models with a Continuation Semanticsp. 165
Author Indexp. 183
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540421276
ISBN-10: 3540421270
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 188
Published: June 2001
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.07
Weight (kg): 0.28