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