source: doc/refrat/refrat.bib @ 7b69174

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 7b69174 was f60d997, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

refrat initial commit

  • Property mode set to 100644
File size: 3.6 KB
Line 
1@string{sigplan="SIGPLAN Notices"}
2
3@manual{ANS:C,
4    keywords = {ANSI C},
5    contributer = {gjditchfield@msg},
6    title = {American National Standard for Information Systems --
7          Programming Language -- {C}},
8    organization = {American National Standards Institute},
9    address = {1430 Broadway, New York, New York  10018},
10    month = dec, year = 1989,
11    note = {X3.159-1989}
12}
13
14@manual{ANS:C11,
15    keywords = {ANS:C11},
16    contributer = {gjditchfield@acm.org},
17    title = {American National Standard Information Systems --
18          Programming languages -- {C}},
19    organization = {American National Standards Institute},
20    address = {25 West 43rd Street, New York, New York 10036},
21    month = may, year = 2012,
22    note = {INCITS/ISO/IEC 9899-2011[2012]}
23}
24
25@book{c++,
26    keywords = {C++, ANSI},
27    author = {Margaret A. Ellis and Bjarne Stroustrup},
28    title = {The Annotated {C}{\tt ++} Reference Manual},
29    publisher = {Addison Wesley},
30    year = 1990,
31    edition = {first}
32}
33
34@Unpublished{Ditchfield96:Overview,
35  author =       "Glen Ditchfield",
36  title =        "An Overview of Cforall",
37  note =         "in preparation",
38  year =         1996
39}
40
41@article{Bak:overload,
42    keywords = {compilation},
43    contributer = {gjditchfield@msg},
44    author = {T. P. Baker},
45    title = {A One-Pass Algorithm for Overload Resolution in {Ada}},
46    journal = toplas,
47    year = 1982,
48    month = oct, volume = 4, number = 4, pages = {601--614},
49    abstract = {
50        A simple method is presented for detecting ambiguities and finding
51        the correct interpretations of expressions in the programming
52        language Ada.  Unlike previously reported solutions to this
53        problem, which require multiple passes over a tree structure, the
54        method described here operates in one bottom-up pass, during which
55        a directed acyclic graph is produced.  The correctness of this
56        approach is demonstrated by a brief formal argument.
57    },
58    comment = {
59        See also \cite{D:overload}.
60        }
61}
62
63@article{Cormack90,
64    keywords    = {polymorphism},
65    contributer = {pabuhr@msg},
66    author      = {G. V. Cormack and A. K. Wright},
67    title       = {Type-dependent Parameter Inference},
68    journal     = sigplan,
69    volume      = 25,
70    number      = 6,
71    month       = jun,
72    year        = 1990,
73    pages       = {127--136},
74    note        = {Proceedings of the ACM Sigplan'90 Conference on Programming Language Design and Implementation
75                   June 20-22, 1990, White Plains, New York, U.S.A.},
76}
77
78@book{clu,
79    keywords = {CLU},
80    contributer = {gjditchfield@msg},
81    author = {Barbara Liskov and Russell Atkinson and Toby Bloom and Eliot
82    Moss and J. Craig Schaffert and Robert Scheifler and Alan Snyder},
83    title = {CLU Reference Manual},
84    publisher = {Springer-Verlag},
85    year = 1981,
86    volume = 114,
87    series = {Lecture Notes in Computer Science}
88}
89
90@manual{SIMULA87,
91    keywords = {Simula standard},
92    contributer = {gjditchfield@msg},
93    title = {Databehandling -- Programspr{\aa}k -- {SIMULA}},
94    organization = {Standardiseringskommissionen i Sverige},
95    note = {Svensk Standard SS 63 61 14},
96    year = 1987,
97    abstract = {
98        Standard for the programming language SIMULA.  Written in English.
99    }
100}
101
102@manual{ada,
103    keywords    = {Ada, packages, tasks, exceptions},
104    contributer = {pabuhr@msg},
105    title       = {The Programming Language {Ada}: Reference Manual},
106    organization= {United States Department of Defense},
107    edition     = {{ANSI/MIL-STD-1815A-1983}},
108    month       = feb,
109    year        = 1983,
110    note        = {Published by Springer-Verlag}
111}
112
113@inproceedings{Thompson90new,
114  title = {A New C Compiler},
115  author = {Ken Thompson},
116  booktitle = {Proceedings of the Summer 1990 UKUUG Conference},
117  year = 1990,
118  pages = {41--51}
119}
Note: See TracBrowser for help on using the repository browser.