Unifying Theories of Programming [[electronic resource] ] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings / / edited by Shengchao Qin
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Unifying Theories of Programming [[electronic resource] ] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings / / edited by Shengchao Qin
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Edizione: | 1st ed. 2010. |
| Descrizione fisica: | 1 online resource (VIII, 310 p. 17 illus.) |
| Disciplina: | 005.11 |
| Soggetto topico: | 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 Intelligence | |
| Persona (resp. second.): | QinShengchao |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Unifying Theories of Programming |
| ISBN: | 1-280-39018-2 |
| 9786613568106 | |
| 3-642-16690-3 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465974903316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 6445