not needed
[prop.git] / docs / refman.bbl
blob5763003e2ecfccfbe0e5ceb3a65f44525e99a81c
1 \newcommand{\etalchar}[1]{$^{#1}$}
2 \begin{thebibliography}{CFH{\etalchar{+}}91}
4 \bibitem[AF]{CMM}
5 Guiseppe Attardi and Tito Flagella.
6 \newblock A customisable memory management framework.
7 \newblock Technical report, University of Pisa.
9 \bibitem[AGT89]{codegen-with-trees}
10 Alfred~V. Aho, Mahadevan Ganapathi, and Steven W.~K. Tjiang.
11 \newblock Code generation using tree matching and dynamic programming.
12 \newblock {\em ACM Transactions on Programming Languages and Systems},
13   11(4):491--516, October 1989.
15 \bibitem[Bar88]{Mostly-copying}
16 Joel~F. Bartlett.
17 \newblock Compacting garbage collection with ambiguous roots.
18 \newblock Technical Report 88/2, DEC Western Research Laboratory, Palo Alto,
19   California, Febrarry 1988.
21 \bibitem[Bar89]{Gen-mostly-copying}
22 Joel~F. Bartlett.
23 \newblock Mostly-copying collection picks up generations and {C++}.
24 \newblock Technical Report TN-12, DEC Western Research Laboratory, Palo Alto,
25   California, October 1989.
27 \bibitem[Boe93]{Boehm}
28 Hans-Juergen Boehm.
29 \newblock Space efficient conservative garbage collection.
30 \newblock {\em ACM SIGPLAN PLDI}, pages 197--206, 1993.
32 \bibitem[CFH{\etalchar{+}}91]{subtype-SETL}
33 J.~Cai, P.~Facon, F.~Henglein, R.~Paige, and E.~Schonberg.
34 \newblock Type transofrmation and data structure choice.
35 \newblock {\em In B. Moeller, editor, Constructing Programs From
36   Specifications}, pages 126--164, 1991.
38 \bibitem[ED93]{Safe-C++-GC}
39 J.R. Ellis and D.L. Detlefs.
40 \newblock Safe, efficient garbage collection for {C++}.
41 \newblock Technical Report CSL-93-4, Xerox Parc, 1993.
43 \bibitem[HMM86]{SML}
44 Robert Harper, David MacQueen, and Robin Milner.
45 \newblock Standard {ML}.
46 \newblock Report ECS-LFCS-86-2, Laboratory for Foundations of Computer Science,
47   Computer Science Department, Edinburgh University, 1986.
49 \bibitem[Les75]{lex}
50 M.~E. Lesk.
51 \newblock {LEX}: a lexical analyzer generator.
52 \newblock Technical Report~39, AT\&T Bell Laboratories, Murray Hill, N.J.,
53   1975.
55 \bibitem[Pai89]{real-time-SETL}
56 R.~Paige.
57 \newblock Real-time simulation of a set machine on a {RAM}.
58 \newblock {\em In N. Janicki and W. Koczkodaj, editor, Computing and
59   Information}, II:69--73, May 1989.
61 \bibitem[Pax90]{flex}
62 V.~Paxson.
63 \newblock Using flex --- a fast lexical analyzer.
64 \newblock Technical report, The Regents of the University of California, May
65   1990.
67 \bibitem[San94]{vcg}
68 Georg Sander.
69 \newblock Graph layout through the {VCG} tool.
70 \newblock Technical Report A03/94, Universit\"{a}t des Saarlandes, October
71   1994.
73 \bibitem[San95]{vcg-manual}
74 Georg Sander.
75 \newblock {\em {VCG}: Visualization of Compiler Graphs (v.1.30)}, 1995.
77 \bibitem[SDDS86]{SETL}
78 J.~Schwartz, R.~Dewar, D.~Dubinsky, and E.~Schonberg.
79 \newblock {\em Programming with Sets: An Introduction to {SETL}}.
80 \newblock Springer-Verlag, 1986.
82 \bibitem[Str91]{C++}
83 Bjarne Stroustrup.
84 \newblock {\em The C++ Programming Language. Second Edition}.
85 \newblock Addison-Welsey, 1991.
87 \end{thebibliography}