Unifying theories of programming

Autori

• Steve Dunne

Parametri

• 257 pagine
• 9 ore di lettura

• Computer, IT, programmazione

Maggiori informazioni sul libro

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.

Lingua: Inglese

Pubblicato: 2006

(In brossura)