Exploring summation and product operators in the refinement calculus
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 128-158
- https://doi.org/10.1007/3-540-60117-1_8
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Data refinement, call by value and higher order programsFormal Aspects of Computing, 1995
- Relational programming laws in the tree, list, bag, set hierarchyScience of Computer Programming, 1994
- The lattice of data refinementActa Informatica, 1994
- On the essence of OberonPublished by Springer Nature ,1994
- Modular reasoning in an object-oriented refinement calculusLecture Notes in Computer Science, 1993
- Superposition Refinement of Parallel AlgorithmsPublished by Elsevier ,1992
- Refinement concepts formalised in higher order logicFormal Aspects of Computing, 1990
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- Data refinement refined resumeLecture Notes in Computer Science, 1986
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986