Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and Societies, LNCS has grown into the most comprehensive computer science research forum available.
The scope of LNCS, including its sub series LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes
　　- Proceedings（published in time for the respective conference）
　 - Post-proceedings（consisting of thoroughly revised final full papers）
　 -research monographs（which may be based on outstanding PhD work, research projects, technical reports, etc.）

在线阅读本书

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 Programs
Protocols between Programs and Proofs
A Technique for Modular Logic Program Refinement
Transformation
Higher-Order Transrormation of Logic Programs
Analysis
Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings
Specialisation
A Model for Inter-module Analysis and Optimizing Compilation
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages
Automated Strategies for Specializing Constraint Logic Programs
Abstract Interpretation
Measuring the Precision of Abstract Interpretations
Debugging
Specifying Prolog Trace Models with a Continuation Semantics
Author Index