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 | }
|
---|