A calculus for predicative programming
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 302-322
- https://doi.org/10.1007/3-540-56625-2_20
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Constructive Refinement of First Order SpecificationsPublished by Springer Nature ,1992
- Z and the refinement calculusPublished by Springer Nature ,1990
- Predicate Calculus and Program SemanticsPublished by Springer Nature ,1990
- A generalization of Dijkstra's calculusACM Transactions on Programming Languages and Systems, 1989
- Termination is timingPublished by Springer Nature ,1989
- A calculus of refinements for program derivationsActa Informatica, 1988
- The specification statementACM Transactions on Programming Languages and Systems, 1988
- Laws of programmingCommunications of the ACM, 1987
- Predicative methodologyActa Informatica, 1986
- Predicative programming Part IICommunications of the ACM, 1984