The algebra of functional programs: Function level reasoning, linear equations, and extended definitions
- 1 January 1981
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Partially additive categories and flow-diagram semanticsJournal of Algebra, 1980
- Abstract data types and software validationCommunications of the ACM, 1978
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- Programming language semantics and closed applicative languagesPublished by Association for Computing Machinery (ACM) ,1973
- Integrity of a Mass Storage Filing SystemThe Computer Journal, 1969
- Flow diagrams, turing machines and languages with only two formation rulesCommunications of the ACM, 1966
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964