Central Library

Normal view MARC view ISBD view

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.

Contributor(s): Wolff, Burkhard [editor.] | Gaudel, Marie-Claude [editor.] | Feliachi, Abderrahmane [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Theoretical Computer Science and General Issues: 7681Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Edition: 1st ed. 2013.Description: VIII, 249 p. 4 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642357053.Subject(s): 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 ComputationAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.0151 Online resources: Click here to access online
Contents:
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.
In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

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.

There are no comments for this item.

Log in to your account to post a comment.