Disjunctive strictness analysis
暂无分享,去创建一个
[1] H. Bandelt. The tensor product of continuous lattices , 1980 .
[2] Chris Hankin,et al. The theory and practice of strictness analysis for higher order functions , 1985 .
[3] Chris Hankin,et al. Strictness Analysis for Higher-Order Functions , 1986, Sci. Comput. Program..
[4] Tsung-Min Kuo,et al. Strictness analysis: a new perspective based on type inference , 1989, FPCA.
[5] Geoffrey L. Burn,et al. Lazy functional languages - abstract interpretation and compilation , 1991, Research monographs in parallel and distributed computing.
[6] Geoffrey L. Burn,et al. The Abstract interpretation of Higher-Order Functional Languages: From Properties to Abstract Domains (Technical Summary) , 1991, Functional Programming.
[7] Thomas P. Jensen,et al. Strictness Analysis in Logical Form , 1991, FPCA.
[8] Flemming Nielson,et al. The Tensor Product in Wadler's Analysis of Lists , 1992, ESOP.