Computation calculus bridging a formalization gap

Dijkstra, R. M., May-2000, In : Science of computer programming. 37, 1-3, p. 3-36 34 p.

Research output: Contribution to journalArticleAcademicpeer-review

  • Rutger M Dijkstra

We present an algebra that is intended to bridge the gap between programming formalisms that have a high level of abstraction and the operational interpretations these formalisms have been designed to capture. In order to piece a high-level formalism sound for its intended operational interpretation, one needs a mathematical handle on the latter. To this end we design the computation calculus. As an expression mechanism, it is sufficiently transparent to avoid begging the question. As an algebra, it is quite powerful and relatively simple. (C) 2000 Published by Elsevier Science B.V. All rights reserved.

Original languageEnglish
Pages (from-to)3-36
Number of pages34
JournalScience of computer programming
Issue number1-3
Publication statusPublished - May-2000
Event4th International Conference on Mathematics of Program Construction - , Sweden
Duration: 1-Jun-1998 → …


4th International Conference on Mathematics of Program Construction

01/06/1998 → …


Event: Other

Download statistics

No data available

ID: 3862520