Unifying theories of programming Lecture Notes in Computer Science 10134

Preface to the UTP 2016 Symposium proceedings Interest in the fundamental problem of the combination of formal notations and theories of programming has grown consistently in recent decades. The theories define, in various different ways, many common notions, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency, and communication. Despite these differences, such theories may be unified in a way that greatly facilitates their study and comparison. Moreover, such a unification offers a means of combining different languages describing various facets and artefacts of software development in a seamless and logically consistent manner