基于逻辑的程序综合与变换/会议录 Logic based program synthesis and transformation
点此进入淘宝搜索页搜索分類: 图书,进口原版书,科学与技术 Science & Techology ,
作者： Alberto Pettorossi著
出 版 社： 湖南文艺出版社
出版时间： 2002-12-1字数：版次： 1页数： 265印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540439158包装： 平装编辑推荐
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 resarch forum available.
The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes.
-proceedings(published in time for the respective conference)
-post-proceedings(consisting of thoroughly revised final full papers)
-research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.)
内容简介
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.
目录
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 (Termination Analysis for Typed Logic Programs)
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
Author Index
