PERs from projections for binding-time analysis
- 1 September 1995
- journal article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 8 (3) , 249-266
- https://doi.org/10.1007/bf01019006
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Polymorphic binding-time analysisPublished by Springer Nature ,1994
- Projection-based Termination AnalysisPublished by Springer Nature ,1994
- Higher-order binding-time analysisPublished by Association for Computing Machinery (ACM) ,1993
- 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)Published by Springer Nature ,1991
- A note on abstract interpretation of polymorphic functionsPublished by Springer Nature ,1991
- Abstract Interpretation, Logical Relations, and Kan ExtensionsJournal of Logic and Computation, 1990
- Binding time analysis for high order untyped functional languagesPublished by Association for Computing Machinery (ACM) ,1990
- Challenging problems in partial evaluation and mixed computationNew Generation Computing, 1988