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