Unifying Theories of Programming

SOMMARIO

Specification Coverage for Testing in Circus.- UTP and Sustainability.- A Probabilistic BPEL-Like Language.- On Modelling User Observations in the UTP.- Unifying Theories of Confidentiality.- Saoithín: A Theorem Prover for UTP.- A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs.- Programmable Verifiers in Imperative Programming.- Unifying Theories in Isabelle/HOL.- Unifying Recursion in Partial, Total and General Correctness.- Halting Still Standing – Programs versus Specifications.- Promoting Models.- Probabilistic Choice, Reversibility, Loops, and Miracles.- Towards a Pomset Semantics for a Shared-Variable Parallel Language.- Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9783642166891
• Collana: Lecture Notes in Computer Science
• Dimensioni: 0 x 0 mm Ø 486 gr
• Formato: Brossura
• Illustration Notes: VIII, 310 p. 17 illus.
• Pagine Arabe: 310
• Pagine Romane: viii