Practical Aspects of Set Based Analysis
暂无分享,去创建一个
[1] Uday S. Reddy,et al. Inference of Polymorphic Types for Logic Programs , 1989, NACLP.
[2] Neil D. Jones,et al. Flow analysis and optimization of LISP-like structures , 1979, POPL.
[3] Prateek Mishra,et al. Towards a Theory of Types in Prolog , 1984, SLP.
[4] Thom W. Frühwirth,et al. Logic programs as types for logic programs , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
[5] Joxan Jaffar,et al. Semantic Types for Logic Programs , 1992, Types in Logic Programming.
[6] John C. Reynolds,et al. Automatic computation of data set definitions , 1968, IFIP Congress.
[7] Joxan Jaffar,et al. A finite presentation theorem for approximating logic programs , 1989, POPL '90.
[8] Joxan Jaffar,et al. An engine for logic program analysis , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
[9] Alexander Aiken,et al. Implementing Regular Tree Expressions , 1991, FPCA.
[10] Ehud Shapiro,et al. A Type System for Logic Programs , 1988, J. Log. Program..
[11] Nevin Charles Heintze,et al. Set based program analysis , 1992 .