Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | V-VI |
| Number of pages | 216 |
| Journal | Default journal |
| Publication status | Published - 27 Jan 2017 |
| Externally published | Yes |
Keywords
- 08 Information And Computing Sciences
- Artificial Intelligence & Image Processing