Program Development in Computational Logic计算逻辑的程序开发：基于逻辑的程序开发研究进展10年 2025 chm pdf kindle rb azw3 下载 115盘

This book presents a unique state-of-the-art survey on progress in the field of program development making use of computational logic. The motivating idea behind this approach is the belief that declarative paradigms such as logic programming are better suited to program development tasks than traditional non-declarative ones such as imperative paradigms.

Closely related to the international workshop and symposium series "Logic Program Synthesis and Transformation", later renamed "Program Development in Computational Logic", this book presents 15 carefully selected and reviewed articles and surveys by leading researchers in the area. The contributions are grouped in sections on specification and synthesis, semantics, analysis, transformation and specialization, termination, and systems.

Specification and Synthesis

Specifying Compositional Units for Correct Program Development in Computational Logic

Synthesis of Programs in Computational Logic

Developing Logic Programs from Specifications Using Stepwise Refinement

Semantics

Declarative Semantics of Input Consuming Logic Programs

On the Semantics of Logic Program Composition

Analysis

Analysing Logic Programs by Reasoning Backwards

Binding Time Analysis for Mercury

A Generic Framework for Context-Sensitive Analysis of Modular Programs

Transformation and Specialisation

Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems

Transformation Rules for Locally Stratified Constraint Logic Programs

Specialising Interpreters Using Offiine Partial Deduction

Termination

Characterisations of Termination in Logic Programming

On the Inference of Natural Level Mappings

Proving Termination for Logic Programs by the Query-Mapping Pairs Approach

Systems

Herbrand Constraint Solving in HAL

Author Index

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：Program Development in Computational Logic计算逻辑的程序开发：基于逻辑的程序开发研究进展10年在线阅读

在线听书地址：Program Development in Computational Logic计算逻辑的程序开发：基于逻辑的程序开发研究进展10年在线收听

在线购买地址：Program Development in Computational Logic计算逻辑的程序开发：基于逻辑的程序开发研究进展10年在线购买

暂无原文赏析，正在全力查找中！

暂无其它内容！