Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers /
UTP 2008Corporate Author
UTP 2008(2008 :Dublin, Ireland)
UTP 2008
Butterfield, Andrew.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
Refinement Calculus as a Theory of Contracts (Invited Paper) -- Transaction Calculus -- UTP and Temporal Logic Model Checking -- A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming -- Reasoning about Loops in Total and General Correctness -- Lazy UTP -- Monadic Maps and Folds for Multirelations in an Allegory -- Unifying Theories of Interrupts -- UTP Semantics for Handel-C -- Unifying Theories of Locations -- Unifying Input Output Conformance -- The Miracle of Reactive Programming -- Encoding Circus Programs in ProofPowerZ -- Component Publications and Compositions -- Denotational Approach to an Event-Driven System-Level Language.
Computer programming.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Programming Techniques.
Software Engineering/Programming and Operating Systems.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.

Lecture Notes in Computer Science