Representing proof transformations for program optimization
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 575-589
- https://doi.org/10.1007/3-540-58156-1_42
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A logic programming language with lambda-abstraction, function variables, and simple unificationPublished by Springer Nature ,2005
- Program extraction in a Logical Framework settingPublished by Springer Nature ,1994
- A framework for defining logicsJournal of the ACM, 1993
- Implementing tactics and tacticals in a higher-order logic programming languageJournal of Automated Reasoning, 1993
- Introduction to generalized type systemsJournal of Functional Programming, 1991
- Program development through proof transformationContemporary Mathematics, 1990
- The promotion and accumulation strategies in transformational programmingACM Transactions on Programming Languages and Systems, 1984
- The Science of ProgrammingPublished by Springer Nature ,1981
- Proving and applying program transformations expressed with second-order patternsActa Informatica, 1978
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977