Description |
1 online resource (viii, 256 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 4010 |
|
Lecture notes in computer science ; 4010. 0302-9743
|
Contents |
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 |
Summary |
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 |
Analysis |
programmeren |
|
programming |
|
computerwetenschappen |
|
computer sciences |
|
computational science |
|
operating systems |
|
programmeertalen |
|
programming languages |
|
software engineering |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes bibliographical references and index |
Notes |
Print version record |
In |
OhioLINK electronic book center |
|
SpringerLink |
Subject |
Computer programming -- Congresses
|
|
COMPUTERS -- Programming -- Open Source.
|
|
COMPUTERS -- Software Development & Engineering -- Tools.
|
|
COMPUTERS -- Software Development & Engineering -- General.
|
|
Programmation (Informatique)
|
|
Computer programming.
|
|
Informatique.
|
|
Computer programming.
|
Genre/Form |
Conference papers and proceedings.
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
|
Kongress.
|
Form |
Electronic book
|
Author |
Dunne, Steve, Dr.
|
|
Stoddart, Bill, 1946-
|
ISBN |
9783540347521 |
|
3540347526 |
|
354034750X |
|
9783540347507 |
|