Information Technology Reference
In-Depth Information
39. J.-P. Talpin and P. Jouvelot. The type and eect discipline. In Proc. LICS '92 ,
pages 162{173, 1992.
40. J.-P. Talpin and P. Jouvelot.
The type and eect discipline.
Information and
Computation , 111(2):245{296, 1994.
41. Y.-M. Tang. Control-Flow Analysis by Eect Systems and Abstract Interpretation .
PhD thesis, Ecole des Mines de Paris, 1994.
42. M. Tofte. Type inference for polymorphic references.
Information and Computa-
tion , 89:1{34, 1990.
43. M. Tofte and L. Birkedal. A region inference algorithm. ACM TOPLAS , 20(3):1{
44, 1998.
44. M. Tofte and J.-P. Talpin. Implementing the call-by-value lambda-calculus using
a stack of regions. In Proc. POPL '94 , pages 188{201. ACM Press, 1994.
45. M. Tofte and J.-P. Talpin. Region-based memory management.
Information and
Computation , 132:109{176, 1997.
46. M. Wand. Specifying the correctness of binding-time analysis. In Proc. POPL '93 ,
pages 137{143, 1993.
47. R. Wilhelm. Global flow analysis and optimization in the MUG2 compiler gener-
ating system. In S. S. Muchnick and N. D. Jones, editors, Program Flow Analysis:
Theory and Applications , chapter 5. Prentice Hall International, 1981.
48. A. K. Wright. Typing references by eect inference. In Proc. ESOP '92 ,volume
582 of Lecture Notes in Computer Science , pages 473{491. Springer, 1992.
49. A. K. Wright and M. Felleisen. A syntactic approach to type soundness. Informa-
tion and Computation , 115:38{94, 1994.
Search WWH ::




Custom Search