PERs from projections for binding-time analysis
Author:
- 1 September 1995
- journal article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 8 (3) , 249-266
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Polymorphic binding-time analysisLecture Notes in Computer Science, 1994
- Projection-based Termination Analysis1994
- Higher-order binding-time analysis1993
- A self-applicable partial evaluator for the lambda calculusACM Transactions on Programming Languages and Systems, 1992
- Binding time analysisACM SIGPLAN Notices, 1991
- PERs Generalise Projections for Strictness Analysis (Extended Abstract)1991
- A note on abstract interpretation of polymorphic functionsLecture Notes in Computer Science, 1991
- Abstract Interpretation, Logical Relations, and Kan ExtensionsJournal of Logic and Computation, 1990
- Binding time analysis for high order untyped functional languages1990
- Challenging problems in partial evaluation and mixed computationNew Generation Computing, 1988