ATERM

GC 2: a generational conservative garbage collector for the ATERM library The ATERM Library is a well-designed and well-known library in the term rewriting community. In this paper, we discuss the current garbage collector provided with the library and stress the fact that some peculiarities of this functional library could be taken advantage of by the memory management system. We explain how we designed and implemented GC 2, a new mark-and-sweep generational garbage collector for the ATERM Library that builds upon these peculiarities. Experimental results on various programs validate our approach, and show that the performance of our new algorithm is very good.


References in zbMATH (referenced in 36 articles , 1 standard article )

Showing results 1 to 20 of 36.
Sorted by year (citations)

1 2 next

  1. Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael: A database approach to distributed state-space generation (2011)
  2. Rinderknecht, Christian; Volanschi, Nic: Theory and practice of unparsed patterns for metacompilation (2010)
  3. Balland, Emilie; Moreau, Pierre-Etienne; Reilles, Antoine: Rewriting strategies in Java (2008) ioport
  4. Blom, Stefan; van de Pol, Jaco: Symbolic reachability for process algebras with recursive data types (2008)
  5. Tveretina, Olga; Wesselink, Wieger: EufDPLL -- a tool to check satisfiability of equality logic formulas (2008)
  6. Badban, Bahareh; Van De Pol, Jaco; Tveretina, Olga; Zantema, Hans: Generalizing DPLL and satisfiability for equalities (2007)
  7. Cirstea, Horatiu; Faure, Germain; Kirchner, Claude: A $\rho$-calculus of explicit constraint application (2007)
  8. Gao, H.; Groote, J.F.; Hesselink, W.H.: Lock-free parallel and concurrent garbage collection by mark&sweep (2007)
  9. Iversen, Jørgen Bøndergaard: An action compiler targeting standard ML (2007)
  10. Andrei, Oana; Ibanescu, Liliana; Kirchner, Hélène: Non-intrusive formal methods and strategic rewriting for a chemical application (2006)
  11. Bravenboer, Martin; van Dam, Arthur; Olmos, Karina; Visser, Eelco: Program transformation with scoped dynamic rewrite rules (2006)
  12. Doroshenko, Anatoliy; Shevchenko, Ruslan: A rewriting framework for rule-based programming dynamic applications (2006)
  13. Holt, Richard C.; Schürr, Andy; Sim, Susan Elliott; Winter, Andreas: GXL: a graph-based standard exchange format for reengineering (2006)
  14. Goncharov, S.V.; Rudich, A.Ye.: Translation of algebraic programs into executable codes (2005)
  15. Visser, Eelco: A survey of strategies in rule-based program transformation systems (2005)
  16. de Jong, H.A.; Olivier, P.A.: Generation of abstract programming interfaces from syntax definitions (2004)
  17. McPeak, Scott; Necula, George C.: Elkhound: A fast, practical GLR parser generator (2004)
  18. Moreau, Pierre-Etienne; Zendra, Olivier: GC$^2$: a generational conservative garbage collector for the ATERM library (2004)
  19. Moreira, Anamaria Martins; Ringeissen, Christophe; Déharbe, David; Lima, Gleydson: Manipulating algebraic specifications with term-based and graph-based representations (2004)
  20. Tveretina, Olga: A decision procedure for equality logic with uninterpreted functions (2004)

1 2 next