Unifying theories of programming Lecture Notes in Computer Science 10134
Bowen, JP and Zhu, H (2017). Unifying theories of programming Lecture Notes in Computer Science 10134. 10134, pp. V-VI.
|Authors||Bowen, JP and Zhu, H|
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,
|Keywords||08 Information And Computing Sciences; Artificial Intelligence & Image Processing|
|Journal citation||10134, pp. V-VI|
|Web address (URL)||http://utp2016.ecnu.edu.cn|
|27 Jan 2017|
|Publication process dates|
|Deposited||15 Aug 2017|
|Accepted||05 Jun 2016|
|Accepted author manuscript|
File Access Level
We cannot provide a copy of this article for copyright reasons.
|Series||Lecture Notes in Computer Science|