GC swMATH ID: 9418 Software Authors: Jones, Richard; Lins, Rafael Description: the Garbage Collection page is a comprehensive resource for automatic dynamic memory management a.k.a garbage collection. As well as links to my book on garbage collection and my online, searchable memory management bibliography (over 1,900 entries), it includes links to other garbage collection resources such as software and conference proceedings. Homepage: http://www.cs.kent.ac.uk/people/staff/rej/gc.html Related Software: Maude; DaCapo; Haskell; Gprof; LiDIA; NQTHM; Isabelle/HOL; K Prover; KOOL; JavaFAN; Java Jr; Oracle; LISP; SPECjvm98; SICStus; Oz; PICO (part of ACRO); ABCL; Featherweight Java; Creol Cited in: 26 Publications Further Publications: http://www.cs.kent.ac.uk/people/staff/rej/gcbib/gcbib.html all top 5 Cited by 53 Authors 2 Chang, J. Morris 2 Lee, Woo Hyong 2 Nakamura, Syouji 2 Zhao, Xufeng 1 Agbaria, Adnan 1 Atkinson, Malcolm P. 1 Back, Godmar 1 Santos Costa, Vítor 1 de Vries, Laurens 1 Detlefs, David L. 1 Devries, Edsko 1 Feizabadi, Shahrooz 1 Francalanza, Adrian 1 Friedman, Roy 1 Genaim, Samir 1 Goh, Okehee 1 Groote, Jan Friso 1 Heintz, Joos 1 Hennessy, Matthew C. B. 1 Hesselink, Wim H. 1 Hills, Mark 1 Hou, Ting-Wei 1 Johnsen, Einar Broch 1 Jones, Cliff B. 1 Kaakani, Ziad 1 Kaldewaij, Anne 1 Lee, Yann-Hang 1 Lin, Chin-Yang 1 Lins, Rafael Dueire 1 Livesey, Michael James 1 Lopes, Ricardo 1 Martin, Paul Andrew 1 Matera, Guillermo 1 Moir, Mark 1 Moreau, Luc 1 Moreau, Pierre-Etienne 1 Munro, David S. 1 Nakagawa, Toshio 1 Naylor, Matthew 1 Nishanov, Gor V. 1 Printezis, Tony 1 Qian, Cunhua 1 Rachlin, Elliott 1 Runciman, Colin 1 Schoeberl, Martin 1 Schupp, Sibylle 1 Silva, Fernando 1 Steele, Guy Lewis jun. 1 Wachenchauzer, Rosita 1 Yatapanage, Nisansala 1 Yu, Ingrid Chieh 1 Zanardini, Damiano 1 Zendra, Olivier all top 5 Cited in 14 Serials 3 Software. Practice & Experience 3 Real-Time Systems 3 Distributed Computing 2 Information Processing Letters 2 Information Sciences 2 The Journal of Logic and Algebraic Programming 1 Mathematics and Computers in Simulation 1 Asia-Pacific Journal of Operational Research 1 Formal Aspects of Computing 1 Journal of Functional Programming 1 Higher-Order and Symbolic Computation 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science Cited in 2 Fields 26 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year