Applicative assertions
- 1 January 1989
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 348-362
- https://doi.org/10.1007/3-540-51305-1_21
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Formal program construction by transformations-computer-aided, intuition-guided programmingIEEE Transactions on Software Engineering, 1989
- Inference rules using local contextsJournal of Automated Reasoning, 1988
- Transformational program development in a particular problem domainScience of Computer Programming, 1986
- The Munich Project CIPLecture Notes in Computer Science, 1985
- Finite Differencing of Computable ExpressionsACM Transactions on Programming Languages and Systems, 1982
- Some Observations Concerning Formal Differentiation of Set Theoretic ExpressionsACM Transactions on Programming Languages and Systems, 1982
- Algorithmic Language and Program DevelopmentPublished by Springer Nature ,1982