source: doc/refrat/refrat.bib @ 83e680d

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 83e680d was 83e9bd3, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

formatting updates

  • 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.