Unifying Theories of Programming, 2013 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers Theoretical Computer Science and General Issues Series
Langue : Anglais
Coordonnateurs : Wolff Burkhard, Gaudel Marie-Claude, Feliachi Abderrahmane
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.
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.
Fast-track conference proceedings
State-of-the-Art research
Date de parution : 01-2013
Ouvrage de 249 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 48,53 €
Ajouter au panierThème d’Unifying Theories of Programming :
© 2024 LAVOISIER S.A.S.