K. Appleby, M. Carlsson, S. Haridi, and D. Sahlin, Garbage collection for Prolog based on WAM, Communications of the ACM, vol.31, issue.6, pp.719-741, 1988.

A. W. Appel and M. J. Gonçalves, Hash-consing garbage collection, 1993.

A. W. Appel, Compiling with Continuations, vol.16, pp.205-214, 1992.

G. Henry and . Baker, Infant mortality and generational garbage collection, ACM SIGPLAN Notices, vol.28, issue.4, pp.55-57, 1993.

T. Brecht, E. Arjomandi, and C. Li, Hang Pham, Controlling garbage collection and heap growth to reduce the execution time of java applications, Proceedings of the OOPSLA'01 Conference on Object Oriented Programming Systems Languages and Applications, pp.353-366, 2001.

J. F. Bartlett, Mostly-copying garbage collection picks up generations and C++, Technical note, 1989.

H. Boehm, A. J. Demers, and S. Shenker, Mostly parallel garbage collection, ACM SIGPLAN Notices, vol.26, issue.6, pp.157-164, 1991.

P. Borovanský, C. Kirchner, H. Kirchner, P. Moreau, and M. Vittek, ELAN: a logical framework based on computational systems, Proceedings of the 1st International Workshop on Rewriting Logic and its Applications, WRLA'96, vol.4, 1996.

H. Boehm, Proceedings of SIGPLAN'93 Conference on Programming Languages Design and Implementation, vol.28, pp.197-206, 1993.

H. Boehm and M. Weiser, Garbage collection in an uncooperative environment, Software-Practice and Experience, vol.18, pp.807-820, 1988.

D. A. Barett and B. G. Zorn, Using lifetime predictors to improve memory allocation performance, 1993 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'93), SIGPLAN Notices, vol.28, pp.187-196, 1993.

D. Colnet, P. Coucaud, and O. Zendra, Compiler support to customize the mark and sweep algorithm, ISMM'98 Proceedings of the First International Symposium on Memory Management, vol.34, pp.154-165, 1998.

L. , P. Deutsch, and D. G. Bobrow, An efficient incremental automatic garbage collector, Communications of the ACM, vol.19, issue.9, pp.522-526, 1976.

A. Demers, M. Weiser, B. Hayes, D. G. Bobrow, and S. Shenker, Combining generational and conservative garbage collection: framework and implementations, Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, pp.261-269, 1990.

J. K. Foderaro and R. J. Fateman, Characterization of VAX Macsyma, 1981 ACM Symposium on Symbolic and Algebraic Computation, pp.14-19, 1981.

B. Hayes, Using key object opportunism to collect old objects, OOPSLA'91 ACM Conference on Object-Oriented Systems, Language and Application, vol.26, pp.33-46, 1991.

, Garbage Collection for ISE Eiffel, 1999.

R. E. Jones, Garbage Collection: Algorithms for Automatic Dynamic Memory Management, 1996.

P. Johann and E. Visser, Warm fusion in stratego: a case study in generation of program transformation systems, Annals of Mathematics and Artificial Intelligence, 2000.

H. Kirchner and P. Moreau, Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories, Journal of Functional Programming, vol.11, issue.2, pp.207-251, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100926

J. Mccarthy, Recursive functions of symbolic expressions and their computation by machine, Communications of the ACM, vol.3, pp.184-195, 1960.

M. L. Minsky, A Lisp garbage collector algorithm using serial secondary storage, 1963.

P. Moreau, C. Ringeissen, and M. Vittek, A pattern matching compiler for multiple target languages, Proceedings of 12th Conference on Compiler Construction
URL : https://hal.archives-ouvertes.fr/inria-00099427

J. M. Robson, An estimate of the store size necessary for dynamic storage allocation, Journal of the ACM, vol.18, issue.3, pp.416-423, 1971.

P. M. Sansom and S. L. Jones, Generational garbage collection for Haskell, Record of the 1993 Conference on Functional Programming and Computer Architecture, vol.523, 1993.

, Presentation at Sun's 2000 Worldwide Java Developer Conference (JavaOne), Inside the K Virtual Machine (KVM), 2000.

, The Java HotSpot Performance Engine Architecture, A White Paper About Sun's Second Generation Performance Technology, 2000.

D. A. Turner, Miranda--a non-strict functional language with polymorphic types, Record of the 1985 Conference on Functional Programming and Computer Architecture, vol.201, pp.1-16, 1985.

D. M. Ungar, Generation scavenging: a non-disruptive high performance storage reclamation algorithm, Proceedings of the ACM/SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, vol.19, pp.157-167, 1984.

G. J. Mark, . Van-den, . Brand, A. Hayco, P. De-jong et al., Efficient annotated terms, Software-Practice and Experience, vol.30, pp.259-291, 2000.

G. J. Mark, . Van-den, P. Brand, P. Klint, and . Olivier, Compilation and memory management for ASF + SDF, Proceedings of Compiler Construction 8th International Conference, vol.1575, pp.198-213, 1999.

P. R. Wilson, Uniprocessor garbage collection techniques, Proceedings of International Workshop on Memory Management, vol.637, pp.16-18, 1992.

P. R. Wilson, Uniprocessor garbage collection techniques, 1994.

O. Zendra and D. Colnet, Coping with aliasing in the GNU Eiffel Compiler implementation, Software-Practice and Experience, vol.31, pp.601-613, 2001.

G. Benjamin and . Zorn, Comparative performance evaluation of garbage collection algorithms, 1989.

B. Zorn, The effect of garbage collection on cache performance, 1991.