出版时间:2006-12 出版社:湖北辞书出版社 作者:Dunne, Steve; Stoddart, Bill; 页数:256
内容概要
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 ProgrammingObject-Orientation in the UTPCSP Is a Retract of CCSA Design-Based Model of Reversible ComputationAn Operational Semantics in UTP for a Language of Reactive Designs(Abstract)Constructing Property-Oriented Models for VerificationA Relational Investigation of UTP Designs and PrescriptionsUnifying Theories in ProofPower-ZTermination of Real-Time Programs: Definitely, Definitely Not, or MaybeHierarchical Organisation of Predicate-Semantic ModelsUnifying ProbabilityPointers and Records in the Unifying Theories of ProgrammingMechanising a Unifying TheoryModal Design AlgebraAuthor Index
图书封面
评论、评分、阅读与下载
编程统一理论/ Unifying theories of programming PDF格式下载