Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

Gespeichert in:

Personen und Körperschaften:	Qin, Shengchao (VerfasserIn)
Titel:	Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings/ edited by Shengchao Qin
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2010
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 6445
Schlagwörter:	Logic design Computer Science Computer science Software engineering Artificial intelligence Compilers (Computer programs). Machine theory. Computer programming. Konferenzschrift > 2010 > Schanghai
Buchausg. u.d.T.:	Unifying theories of programming, Berlin : Springer, 2010, VIII, 308 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Details
Zusammenfassung:	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.
Umfang:	Online-Ressource (VIII, 310p, digital)
ISBN:	9783642166907
DOI:	10.1007/978-3-642-16690-7