Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. P. N. Benton. Strictness Analysis of Lazy Functional Programs. PhD thesis, Computer Laboratory, University of Cambridge, December 1992.
2. P. N. Benton. Strictness logic and polymorphic invariance. In A. Nerode and M. Taitslin, editors, Proceedings of the Second International Symposium on Logical Foundations of Computer Science, Tver, Russia, volume 620 of Lecture Notes in Computer Science, pages 33–44. Springer-Verlag, July 1992.
3. G. L. Burn. Lazy Functional Languages: Abstract Interpretation and Compilation. Research Monographs in Parallel and Distributed Computing. MIT Press, Cambridge, Mass., 1991.
4. G. L. Burn, C. L. Hankin, and S. Abramsky. The theory and practice of strictness analysis for higher-order functions. Science of Computer Programming, 7:249–278, 1986.
5. C. Ernoult and A. Mycroft. Uniform ideals and strictness analysis. In Proceedings of ICALP 91. Springer-Verlag, 1991.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Galois Connections for Recursive Types;From Lambda Calculus to Cybersecurity Through Program Analysis;2020
2. Type and Effect Systems;Lecture Notes in Computer Science;1999
3. Automatic Verification Based on Abstract Interpretation;Functional and Logic Programming;1999
4. Lazy rewriting and eager machinery;Rewriting Techniques and Applications;1995
5. A type-based framework for program analysis;Static Analysis;1994