Finiteness analysis
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 473-495
- https://doi.org/10.1007/3540543961_23
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A self-applicable partial evaluator for the lambda calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automatic autoprojection of higher order recursive equationsPublished by Springer Nature ,1990
- Termination Proofs for Logic ProgramsPublished by Springer Nature ,1990
- Mix: A self-applicable partial evaluator for experiments in compiler generationHigher-Order and Symbolic Computation, 1989
- New insights into partial evaluation: the SCHISM experimentPublished by Springer Nature ,1988
- Termination of rewritingJournal of Symbolic Computation, 1987
- Data flow analysis of applicative programs using minimal function graphsPublished by Association for Computing Machinery (ACM) ,1986
- The theory of strictness analysis for higher order functionsPublished by Springer Nature ,1986
- The structure of a self-applicable partial evaluatorPublished by Springer Nature ,1986