Unifying Theories of Programming

SOMMARIO

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.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9783642145209
• Collana: Lecture Notes in Computer Science
• Dimensioni: 0 x 0 mm Ø 445 gr
• Formato: Brossura
• Illustration Notes: IX, 279 p. 21 illus.
• Pagine Arabe: 279
• Pagine Romane: ix