Description |
1 online resource |
Series |
Lecture notes in computer science, 0302-9743 ; 7681 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7681.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
Unifying Theories of Undefinedness in UTP / Jim Woodcock, Victor Bandur -- Unifying Theories of Programming with Monads / Jeremy Gibbons -- Circus Time with Reactive Designs / Kun Wei, Jim Woodcock, Ana Cavalcanti -- Algebra Unifies Operational Calculi / Stephan van Staden, Tony Hoare -- A Probabilistic Theory of Designs Based on Distributions / Riccardo Bresciani, Andrew Butterfield -- The Logic of U ·(TP)² / Andrew Butterfield -- Conscriptions: A New Relational Model for Sequential Computations / Steve Dunne -- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude / Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin -- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions / Chengcheng Wu, Yongxin Zhao, Huibiao Zhu -- Higher-Order UTP for a Theory of Methods / Frank Zeyda, Ana Cavalcanti -- Denotational Semantics for a Probabilistic Timed Shared-Variable Language / Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin |
Summary |
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 |
Analysis |
Computer science |
|
Software engineering |
|
Logic design |
|
Logics and Meanings of Programs |
|
Programming Languages, Compilers, Interpreters |
|
Computation by Abstract Devices |
Bibliography |
Includes bibliographical references and index |
Notes |
English |
Subject |
Computer programming -- Congresses
|
|
Software
|
|
software.
|
|
COMPUTERS -- Programming -- Open Source.
|
|
COMPUTERS -- Software Development & Engineering -- General.
|
|
COMPUTERS -- Software Development & Engineering -- Tools.
|
|
Computer programming
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Wolff, Burkhart, 1962-
|
|
Gaudel, M.-C. (Marie-Claude)
|
|
Feliachi, Abderrahmane
|
LC no. |
2012954013 |
ISBN |
9783642357053 |
|
3642357059 |
|
3642357040 |
|
9783642357046 |
|