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