Unifying Theories of Programming 5th International Symposium UTP 2014 Singapore May 13 2014 Revised Selected Papers 1st Edition by David Naumann 3319148052 9783319148052

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

1. Introduction

2. Modelling Time in UTP

3. External Choice and Time

4. Strict External Choice as a Timed Reactive Design

5. Conclusions
   References

Isabelle/UTP: A Mechanised Theory Engineering Framework

1. Introduction

2. Unifying Theories of Programming

3. Isabelle/HOL

4. Related Work: Five Mechanisation Criteria

5. Predicate Model

6. Polymorphic Expressions

7. Automating Proof by Transfer

8. Conclusion
   References

Angelicism in the Theory of Reactive Processes

1. Introduction

2. Preliminaries

3. A Natural Extension of the Theory of Reactive Processes

4. Relationship with CSP

5. Conclusion
   A. Auxiliary Results
   References

Constructing the Views Framework

1. Introduction

2. Languages and Laws

3. Abstract Calculi

4. States, Traces, Descriptions and Atoms

5. Deductive Calculi

6. Operational Calculi

7. Partial Correctness

8. Conclusion
   References

Towards Algebraic Semantics of Circus Time

1. Introduction

2. Circus Time and UTP

3. AOS Form

4. Algebraic Operational Semantics

5. Conclusion
   References

Observation-Oriented Semantics for Calculus of Wireless Systems

1. Introduction

2. The Semantic Model

3. Observation-Oriented Semantics

4. Algebraic Properties

5. Conclusion
   References

A Formal Model for a Hybrid Programming Language

1. Introduction

2. Preliminaries

3. The Hybrid Programming Language

4. The Observation-Oriented Denotational Semantics

5. Related Works

6. Conclusion
   References

People also search:

great unifying theory

programming theories

unifying theories

unifying psychology

dual-coding theory

Tags: David Naumann, Unifying, Theories, Programming