Unifying Theories of Programming 5th International Symposium UTP 2014 Singapore May 13 2014 Revised Selected Papers 1st Edition by David Naumann – Ebook PDF Instant Download/Delivery: 3319148052, 9783319148052
Full download Unifying Theories of Programming 5th International Symposium UTP 2014 Singapore May 13 2014 Revised Selected Papers 1st Edition after payment
Product details:
ISBN 10: 3319148052
ISBN 13: 9783319148052
Author: David Naumann
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.
Table of contents:
Choice and Unstable States in CSP
-
Introduction
-
Modelling Time in UTP
-
External Choice and Time
-
Strict External Choice as a Timed Reactive Design
-
Conclusions
References
Isabelle/UTP: A Mechanised Theory Engineering Framework
-
Introduction
-
Unifying Theories of Programming
-
Isabelle/HOL
-
Related Work: Five Mechanisation Criteria
-
Predicate Model
-
Polymorphic Expressions
-
Automating Proof by Transfer
-
Conclusion
References
Angelicism in the Theory of Reactive Processes
-
Introduction
-
Preliminaries
-
A Natural Extension of the Theory of Reactive Processes
-
Relationship with CSP
-
Conclusion
A. Auxiliary Results
References
Constructing the Views Framework
-
Introduction
-
Languages and Laws
-
Abstract Calculi
-
States, Traces, Descriptions and Atoms
-
Deductive Calculi
-
Operational Calculi
-
Partial Correctness
-
Conclusion
References
Towards Algebraic Semantics of Circus Time
-
Introduction
-
Circus Time and UTP
-
AOS Form
-
Algebraic Operational Semantics
-
Conclusion
References
Observation-Oriented Semantics for Calculus of Wireless Systems
-
Introduction
-
The Semantic Model
-
Observation-Oriented Semantics
-
Algebraic Properties
-
Conclusion
References
A Formal Model for a Hybrid Programming Language
-
Introduction
-
Preliminaries
-
The Hybrid Programming Language
-
The Observation-Oriented Denotational Semantics
-
Related Works
-
Conclusion
References
People also search:
great unifying theory
programming theories
unifying theories
unifying psychology
dual-coding theory
Tags: David Naumann, Unifying, Theories, Programming