Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / [electronic resource] :
edited by Steve Dunne, Bill Stoddart.
- 1st ed. 2006.
- VIII, 264 p. online resource.
- Theoretical Computer Science and General Issues, 4010 2512-2029 ; .
- Theoretical Computer Science and General Issues, 4010 .
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.
9783540347521
10.1007/11768173 doi
Software engineering.
Computer science.
Compilers (Computer programs).
Computer programming.
Operating systems (Computers).
Software Engineering.
Theory of Computation.
Compilers and Interpreters.
Programming Techniques.
Operating Systems.
QA76.758
005.1
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.
9783540347521
10.1007/11768173 doi
Software engineering.
Computer science.
Compilers (Computer programs).
Computer programming.
Operating systems (Computers).
Software Engineering.
Theory of Computation.
Compilers and Interpreters.
Programming Techniques.
Operating Systems.
QA76.758
005.1