Program development using lambda abstraction
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 420-434
- https://doi.org/10.1007/3-540-18625-5_65
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Partial parametrization eliminates multiple traversals of data structuresActa Informatica, 1987
- Semantically based programming tools (Summary)Published by Springer Nature ,1985
- Using circular programs to eliminate multiple traversals of dataActa Informatica, 1984
- A powerful strategy for deriving efficient programs by transformationPublished by Association for Computing Machinery (ACM) ,1984
- Mixed computation: potential applications and problems for studyTheoretical Computer Science, 1982
- An experimental program transformation and synthesis systemArtificial Intelligence, 1981
- An order-algebraic definition of knuthian semanticsTheory of Computing Systems, 1979