Unifying Theories of Programming [[electronic resource] ] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / / edited by Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Unifying Theories of Programming [[electronic resource] ] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / / edited by Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Edizione: | 1st ed. 2013. |
| Descrizione fisica: | 1 online resource (VIII, 249 p. 4 illus.) |
| Disciplina: | 005.1 |
| Soggetto topico: | Computer science |
| Compilers (Computer programs) | |
| Software engineering | |
| Machine theory | |
| Computer Science Logic and Foundations of Programming | |
| Compilers and Interpreters | |
| Software Engineering | |
| Formal Languages and Automata Theory | |
| Theory of Computation | |
| Persona (resp. second.): | WolffBurkhard |
| GaudelMarie-Claude | |
| FeliachiAbderrahmane | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | Unifying Theories of Undefinedness in UTP -- Unifying Theories of Programming with Monads -- Circus Time with Reactive Designs -- Algebra Unifies Operational Calculi -- A Probabilistic Theory of Designs Based on Distributions -- The Logic of U•(TP)2 -- Conscriptions: A New Relational Model for Sequential Computations -- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude -- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions -- Higher-Order UTP for a Theory of Methods -- Denotational Semantics for a Probabilistic Timed Shared-Variable Language. |
| Sommario/riassunto: | This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions. |
| Titolo autorizzato: | Unifying Theories of Programming |
| ISBN: | 3-642-35705-9 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466001103316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 7681