Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Adrienne Bloss and Paul Hudak. Variations on strictness analysis. In Proc. 1986 ACM Conference on Lisp and Functional Programming, pages 132–142, ACM SIGPLAN/SIGACT/SIGART, Cambridge, Massachusetts, August 1986.
2. G.L. Burn, C.L. Hankin, and S. Abramsky. The theory of strictness analysis for higher order functions. In LNCS 217: Programs as Data Objects, pages 42–62, Springer-Verlag, 1985.
3. C. Clack and S.L. Peyton Jones. Strictness analysis — a practical approach. In Functional Programming Languages and Computer Architecture, pages 35–49, Springer-Verlag LNCS 201, September 1985.
4. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th ACM Sym. on Prin. of Prog. Lang., pages 238–252, ACM, 1977.
5. H.K. Curry and R. Feys. Combinatory Logic. Noth-Holland Pub. Co., Amsterdam, 1958.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献