Unifying Theories of Programming
Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Published on 8. November 2010
VIII, 310 pages
978-3-642-16690-7 (ISBN)
Description
More details
Other editions
Additional editions
Shengchao Qin
Unifying Theories of Programming
Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Book
10/2010
1st Edition
Springer
€53.49
Shipment within 5-7 days
Person
Content
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.
