A semantic model of reference counting and its abstraction (detailed summary)
暂无分享,去创建一个
[1] Douglas W. Clark,et al. An empirical study of list structure in Lisp , 1977, CACM.
[2] Jeffrey M. Barth. Shifting garbage collection overhead to compile time , 1977, CACM.
[3] Paul Hudak,et al. The aggregate update problem in functional programming systems , 1985, POPL.
[4] David A. Schmidt. Detecting global variables in denotational specifications , 1985, TOPL.
[5] Joseph E. Stoy,et al. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .
[6] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[7] Alan Mycroft,et al. Abstract interpretation and optimising transformations for applicative programs , 1982 .
[8] Neil D. Jones,et al. A flexible approach to interprocedural data flow analysis and programs with recursive data structures , 1982, POPL '82.
[9] Bruno Poizat,et al. $\mathscr{L} = \mathscr{N} \mathscr{L}$? , 1986 .
[10] Jean-Claude Raoult,et al. The global storage needs of a subcomputation , 1984, POPL '84.