Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers /

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Dunne, Steve (Editor), Stoddart, Bill (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Series:Theoretical Computer Science and General Issues, 4010
Subjects:
Software engineering.
Computer science.
Compilers (Computer programs).
Computer programming.
Operating systems (Computers).
Software Engineering.
Theory of Computation.
Compilers and Interpreters.
Programming Techniques.
Operating Systems.
Online Access:Texto Completo
Table of 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.

Similar Items