1: \newcommand{\etalchar}[1]{$^{#1}$}
2: \begin{thebibliography}{DGdlBH{\etalchar{+}}99}
3:
4: \bibitem[ACHS88]{SicstusGarbage@CACM-88}
5: K.~Appleby, M.~Carlsson, S.~Haridi, and D.~Sahlin.
6: \newblock {Garbage collection for Prolog based on WAM}.
7: \newblock {\em Communications of the ACM}, 31(6):719--741, June 1988.
8:
9: \bibitem[AK90]{AitK90}
10: H.~A{\"{\i}}t-Kaci.
11: \newblock The {WAM}: a (real) tutorial.
12: \newblock Technical Report~5, DEC Paris Research Report, 1990.
13:
14: \bibitem[BJMM02]{beltway02}
15: Stephen~M. Blackburn, Richard~E. Jones, Kathryn~S. McKinley, and J.~Eliot~B.
16: Moss.
17: \newblock Beltway: Getting around garbage collection gridlock.
18: \newblock In {\em Proceedings of {SIGPLAN 2002} Conference on Programming
19: Languages Design and Implementation, PLDI'02, Berlin, June, 2002}, volume
20: 37(5) of {\em ACM SIGPLAN Notices}. ACM Press, June 2002.
21:
22: \bibitem[BL94]{BevemyrLindgren@PLILP-94}
23: J.~Bevemyr and T.~Lindgren.
24: \newblock {A simple and efficient copying Garbage Collector for Prolog}.
25: \newblock In M.~Hermenegildo and J.~Penjam, editors, {\em Proceedings of the
26: Sixth International Symposium on Programming Language Implementation and
27: Logic Programming}, number 844 in Lecture Notes in Computer Science, pages
28: 88--101. Springer-Verlag, September 1994.
29:
30: \bibitem[BM02]{512452}
31: Stephen~M Blackburn and Kathryn~S McKinley.
32: \newblock In or out?: putting write barriers in their place.
33: \newblock In {\em Proceedings of the third international symposium on Memory
34: management}, pages 175--184. ACM Press, 2002.
35:
36: \bibitem[BRU92]{BekkersRidouxUngaro@IWMM-92}
37: Y.~Bekkers, O.~Ridoux, and L.~Ungaro.
38: \newblock {Dynamic Memory Management for Sequential Logic Programming
39: Languages}.
40: \newblock In Y.~Bekkers and J.~Cohen, editors, {\em Proceedings of IWMM'92:
41: International Workshop on Memory Management}, number 637 in Lecture Notes in
42: Computer Science, pages 82--102. Springer-Verlag, September 1992.
43:
44: \bibitem[CC01]{vitoriclp2001}
45: Luis~F. Castro and Vitor~S. Costa.
46: \newblock {Understanding Memory Management in Prolog Systems}.
47: \newblock In P.~Codognet, editor, {\em Proceedings of the 17th International
48: Conference on Logic Programming, ICLP'2001}, number 2237 in Lecture Notes in
49: Computer Science, pages 11--26. Springer-Verlag, nov 2001.
50:
51: \bibitem[DET96]{DemoenEngelsTarau@SAC-96}
52: B.~Demoen, G.~Engels, and P.~Tarau.
53: \newblock {Segment order preserving copying Garbage Collection for WAM based
54: {P}rolog}.
55: \newblock In {\em Proceedings of the 1996 ACM Symposium on Applied Computing},
56: pages 380--386. ACM Press, February 1996.
57:
58: \bibitem[DGdlBH{\etalchar{+}}99]{HALoverview}
59: Bart Demoen, Mar\'{\i}a Garc\'{\i}a de~la Banda, Warwick Harvey, Kim Mariott,
60: and Peter Stuckey.
61: \newblock {A}n overview of {HAL}.
62: \newblock In J.~Jaffar, editor, {\em Proceedings of the International
63: Conference on Principles and Practice of Constraint Programming}, volume 1713
64: of {\em LNCS}, pages 174--188. Springer, 1999.
65:
66: \bibitem[DN00]{wamvariations}
67: Bart Demoen and Phuong-Lan Nguyen.
68: \newblock {S}o many {WAM} variations, so little time.
69: \newblock In John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber,
70: Kung-Kiu Lau, Catuscia Palamidessi, Luis~Moniz Pereira, Yehoshua Sagiv, and
71: Peter~J. Stuckey, editors, {\em Computational Logic - CL2000, First
72: International Conference, London, UK, July 2000, Proceedings}, volume 1861 of
73: {\em Lecture Notes in Artificial Intelligence}, pages 1240--1254. ALP,
74: Springer, 2000.
75:
76: \bibitem[DNV02]{DemoenNguyenVandeginsteICLP2002}
77: Bart Demoen, Phuong-Lan Nguyen, and Ruben Vandeginste.
78: \newblock {C}opying garbage collection for the {WAM}: to mark or not to mark ?
79: \newblock In P.~Stuckey, editor, {\em Proceedings of ICLP2002 - International
80: Conference on Logic Programming}, number 2401 in Lecture Notes in Computer
81: Science, pages 194--208, Copenhagen, July 2002. ALP, Springer-Verlag.
82:
83: \bibitem[HM92]{hudson92incremental}
84: R.~L. Hudson and J.~E.~B. Moss.
85: \newblock Incremental collection of mature objects.
86: \newblock In {\em Proc.\ Int.\ Workshop on Memory Management}, number 637,
87: pages 388--403, Saint-Malo (France), 1992. Springer-Verlag.
88:
89: \bibitem[JL96]{JonesLins}
90: R.~Jones and R.~Lins.
91: \newblock {\em Garbage Collection: Algorithms for automatic memory management}.
92: \newblock John Wiley, 1996.
93: \newblock See also {\sf
94: http://www.cs.ukc.ac.uk/people/staff/rej/gcbook/gcbook.html}.
95:
96: \bibitem[Li00]{Li@PPDP-00}
97: X.~Li.
98: \newblock {Efficient Memory Management in a merged Heap/Stack Prolog Machine}.
99: \newblock In {\em Proceedings of the 2nd ACM SIGPLAN Conference on Principles
100: and Practice of Declarative Programming (PPDP'00)}, pages 245--256. ACM
101: Press, 2000.
102:
103: \bibitem[Meh99]{mehlphd}
104: Michael Mehl.
105: \newblock {\em The Oz Virtual Machine - Records, Transients, and Deep Guards}.
106: \newblock PhD thesis, Technische Fakult{\"a}t der Universit{\"a}t des
107: Saarlandes, 1999.
108:
109: \bibitem[Net04]{NethercotePhD2004}
110: Nicholas Nethercote.
111: \newblock {\em Dynamic Binary Analysis and Instrumentation}.
112: \newblock PhD thesis, Computer Laboratory, University of Cambridge, United
113: Kingdom, September 2004.
114:
115: \bibitem[NS03]{NethercoteSewardValgrind2003}
116: Nicholas Nethercote and Julian Seward.
117: \newblock Valgrind: A program supervision framework.
118: \newblock In {\em Proceedings of the Third Workshop on Runtime Verification
119: (RV'03)}, Boulder, Colorado, USA, July 2003.
120:
121: \bibitem[PBW85]{PittomvilsBruynoogheWillems@SLP-85}
122: Edwin Pittomvils, Maurice Bruynooghe, and Yves~D Willems.
123: \newblock {T}owards a real time garbage collector for {PROLOG}.
124: \newblock In {\em Proc. 1985 Logic Programming Symposium}, pages 185--198.
125: IEEE, IEEE Computer Society Press, July 1985.
126:
127: \bibitem[Qui89]{privateQuintus}
128: Quintus.
129: \newblock {P}ersonal {C}ommunication from {R}ichard {O}'{K}eefe and {M}ats
130: {C}arlsson.
131: \newblock 1989.
132:
133: \bibitem[Sch98]{scheidhauerphd}
134: Ralf Scheidhauer.
135: \newblock {\em Design, Implementierung und Evaluierung einer virtuellen
136: Maschine f{\"u}r {Oz}}.
137: \newblock PhD thesis, Universit{\"a}t des Saarlandes, Fachbereich Informatik,
138: Saarbr{\"u}cken, Germany, December 1998.
139:
140: \bibitem[SNF{\etalchar{+}}]{Sew:valgrind}
141: Julian Seward, Nicholas Nethercote, Jeremy Fitzhardinge, et~al.
142: \newblock Valgrind.
143: \newblock {\sf http://www.valgrind.org/}.
144:
145: \bibitem[TH88]{GcLight@FGCS-88}
146: H.~Touati and T.~Hama.
147: \newblock A light-weight {P}rolog garbage collector.
148: \newblock In {\em Proceedings of the International Conference on Fifth
149: Generation Computer Systems (FGCS'88)}, pages 922--930. OHMSHA Ltd. Tokyo and
150: Springer-Verlag, nov/dec 1988.
151:
152: \bibitem[War83]{DHWa83}
153: D.~H.~D. Warren.
154: \newblock {An Abstract Prolog Instruction Set}.
155: \newblock Technical Report 309, SRI, 1983.
156:
157: \bibitem[Wil92]{wilson92uniprocessor}
158: Paul~R. Wilson.
159: \newblock Uniprocessor garbage collection techniques.
160: \newblock In {\em Proc.\ Int.\ Workshop on Memory Management}, number 637,
161: Saint-Malo (France), 1992. Springer-Verlag.
162:
163: \end{thebibliography}
164: