Unifying Theories of Programming [electronic resource] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings / edited by Shengchao Qin.
Contributor(s): Qin, Shengchao [editor.]
| SpringerLink (Online service).
Material type: 
BookSeries: Theoretical Computer Science and General Issues: 6445Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Edition: 1st ed. 2010.Description: VIII, 310 p. 17 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642166907.Subject(s): Computer programming | Computer science | Software engineering | Compilers (Computer programs) | Machine theory | Artificial intelligence | Programming Techniques | Computer Science Logic and Foundations of Programming | Software Engineering | Compilers and Interpreters | Formal Languages and Automata Theory | Artificial IntelligenceAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.11 Online resources: Click here to access online 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.
There are no comments for this item.