Unifying theories of programming

Více o knize

InhaltsverzeichnisRetrospective 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.