编程统一理论

作　者：	Steve Dunne Bill Stoddart
出版社：	崇文书局（原湖北辞书出版社）
丛编项：
版权说明：	本书为公共版权或经版权方授权，请支持正版图书
标　签：	暂缺

ISBN	出版时间	包装	开本	页数	字数
未知	暂无	暂无	未知	0	暂无

作者简介

暂缺《编程统一理论》作者简介

内容简介

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming， UTP 2006， held at Walworth Castle， County Durham， UK， in February 2006. The 14 revised full papers presented， including those by the six invited speakers， were carefully reviewed and selected for presentation at the symposium and went through a second round of improvement after the meeting. Based on the pioneering work on unifying theories of programming by Tony Haare and Jifeng He， UTP 2006 reaffirmed the relevance of the ongoing UTP project and advanced it by focusing on the most significant results and by raising awareness of the benefits of unifying theoretical frameworks among the wider computer science and software engineering communities.

图书目录

Retrospective and Prospective for Unifying Theories of Programming

Object-Orientation in the UTP

CSP Is a Retract of CCS

A Design-Based Model of Reversible Computation

An Operational Semantics in UTP for a Language of Reactive Designs(Abstract)

Constructing Property-Oriented Models for Verification

A Relational Investigation of UTP Designs and Prescriptions

Unifying Theories in ProofPower-Z

Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe

Hierarchical Organisation of Predicate-Semantic Models

Unifying Probability

Pointers and Records in the Unifying Theories of Programming

Mechanising a Unifying Theory

Modal Design Algebra

Author Index