A Semantic Model of Reference Counting and its Abstraction (1986)

Cached

Download Links

by Paul Hudak
Venue:In Proceedings ACM Conference on Lisp and Functional Programming
Citations:67 - 0 self

Documents Related by Co-Citation

625 Compiling With Continuations – A W Appel - 1992
60 Lifetime analysis of dynamically allocated objects – C Ruggieri, T P Murtagh - 1988
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
381 Analysis of pointers and structures – D R Chase, M Wegman, F K Zadeck - 1990
939 A theory of type polymorphism in programming – Robin Milner - 1978
234 Principal type schemes for functional programs – R Milner - 1982
238 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
38 Unify and Conquer (Garbage, Updating, Aliasing) in Functional Languages – H G BAKER - 1990
86 Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs – Laurie Hendren, Joseph Hummel, Alexandru Nicolau - 1992
327 A Safe Approximate Algorithm for Interprocedural Pointer Aliasing – William Landi, Barbara G. Ryder - 1992
229 Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting – Alain Deutsch - 1994
58 Types and Effects: Towards the Integration of Functional and Imperative Programming – M Lucassen - 1987
198 Control Flow Analysis in Scheme – Olin Shivers - 1988
91 The interprocedural analysis and automatic parallelization of scheme programs – W L Harrison - 1989
160 Detecting conflicts between structure accesses – J R Larus, P N Hilfinger - 1988
363 Towards a theory of type structure – J C Reynolds - 1974
64 Runtime Tags Aren't Necessary – Andrew W. Appel, Andrew W - 1988
69 Conventional and Uniqueness Typing in Graph Rewrite Systems (Extended Abstract) – Erik Barendsen, Sjaak Smetsers - 1993
31 Polymorphic Type Reconstruction for Garbage Collection without Tags – Benjamin Goldberg, Michael Gloger - 1992