Changeset 83e9bd3 for doc/refrat/refrat.bib

Timestamp:

Jun 2, 2017, 4:58:10 PM (7 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

421a287

Parents:

d3ed39f

Message:

formatting updates

File:

• doc/refrat/refrat.bib (modified) (4 diffs)

doc/refrat/refrat.bib

@@ -2 +2 @@
 
 @manual{ANS:C,
-    keywords = {ANSI C},
-    contributer = {gjditchfield@msg},
-    title = {American National Standard for Information Systems --
+    keywords    = {ANSI C},
+    contributer = {gjditchfield@msg},
+    title       = {American National Standard for Information Systems --
           Programming Language -- {C}},
-    organization = {American National Standards Institute},
-    address = {1430 Broadway, New York, New York  10018},
-    month = dec, year = 1989,
-    note = {X3.159-1989}
+    organization= {American National Standards Institute},
+    address     = {1430 Broadway, New York, New York  10018},
+    month       = dec, year     = 1989,
+    note        = {X3.159-1989}
 }
 
 @manual{ANS:C11,
-    keywords = {ANS:C11},
-    contributer = {gjditchfield@acm.org},
-    title = {American National Standard Information Systems --
+    keywords    = {ANS:C11},
+    contributer = {gjditchfield@acm.org},
+    title       = {American National Standard Information Systems --
           Programming languages -- {C}},
-    organization = {American National Standards Institute},
-    address = {25 West 43rd Street, New York, New York 10036},
-    month = may, year = 2012,
-    note = {INCITS/ISO/IEC 9899-2011[2012]}
+    organization= {American National Standards Institute},
+    address     = {25 West 43rd Street, New York, New York 10036},
+    month       = may, year     = 2012,
+    note        = {INCITS/ISO/IEC 9899-2011[2012]}
 }
 
 @book{c++,
-    keywords = {C++, ANSI},
-    author = {Margaret A. Ellis and Bjarne Stroustrup},
-    title = {The Annotated {C}{\tt ++} Reference Manual},
-    publisher = {Addison Wesley},
-    year = 1990,
-    edition = {first}
+    keywords    = {C++, ANSI},
+    author      = {Margaret A. Ellis and Bjarne Stroustrup},
+    title       = {The Annotated {C}{\tt ++} Reference Manual},
+    publisher   = {Addison Wesley},
+    year        = 1990,
+    edition     = {first}
 }
 
 @Unpublished{Ditchfield96:Overview,
-  author =       "Glen Ditchfield",
-  title =        "An Overview of Cforall",
-  note =         "in preparation",
-  year =         1996
+    author      = "Glen Ditchfield",
+    title       = "An Overview of Cforall",
+    note        = "in preparation",
+    year        = 1996
 }
 
 @article{Bak:overload,
-    keywords = {compilation},
-    contributer = {gjditchfield@msg},
-    author = {T. P. Baker},
-    title = {A One-Pass Algorithm for Overload Resolution in {Ada}},
-    journal = toplas,
-    year = 1982,
-    month = oct, volume = 4, number = 4, pages = {601--614},
-    abstract = {
+    keywords    = {compilation},
+    contributer = {gjditchfield@msg},
+    author      = {T. P. Baker},
+    title       = {A One-Pass Algorithm for Overload Resolution in {Ada}},
+    journal     = toplas,
+    year        = 1982,
+    month       = oct, volume   = 4, number     = 4, pages      = {601--614},
+    abstract    = {
         A simple method is presented for detecting ambiguities and finding
         the correct interpretations of expressions in the programming
@@ -56 +56 @@
         approach is demonstrated by a brief formal argument.
     },
-    comment = {
+    comment     = {
         See also \cite{D:overload}.
         }
@@ -77 +77 @@
 
 @book{clu,
-    keywords = {CLU},
-    contributer = {gjditchfield@msg},
-    author = {Barbara Liskov and Russell Atkinson and Toby Bloom and Eliot
+    keywords    = {CLU},
+    contributer = {gjditchfield@msg},
+    author      = {Barbara Liskov and Russell Atkinson and Toby Bloom and Eliot
     Moss and J. Craig Schaffert and Robert Scheifler and Alan Snyder},
-    title = {CLU Reference Manual},
-    publisher = {Springer-Verlag},
-    year = 1981,
-    volume = 114,
-    series = {Lecture Notes in Computer Science}
+    title       = {CLU Reference Manual},
+    publisher   = {Springer-Verlag},
+    year        = 1981,
+    volume      = 114,
+    series      = {Lecture Notes in Computer Science}
 }
 
 @manual{SIMULA87,
-    keywords = {Simula standard},
-    contributer = {gjditchfield@msg},
-    title = {Databehandling -- Programspr{\aa}k -- {SIMULA}},
-    organization = {Standardiseringskommissionen i Sverige},
-    note = {Svensk Standard SS 63 61 14},
-    year = 1987,
-    abstract = {
+    keywords    = {Simula standard},
+    contributer = {gjditchfield@msg},
+    title       = {Databehandling -- Programspr{\aa}k -- {SIMULA}},
+    organization        = {Standardiseringskommissionen i Sverige},
+    note        = {Svensk Standard SS 63 61 14},
+    year        = 1987,
+    abstract    = {
         Standard for the programming language SIMULA.  Written in English.
     }
@@ -112 +112 @@
 
 @inproceedings{Thompson90new,
-  title = {A New C Compiler},
-  author = {Ken Thompson},
-  booktitle = {Proceedings of the Summer 1990 UKUUG Conference},
-  year = 1990,
-  pages = {41--51}
+    title       = {A New {C} Compiler},
+    author      = {Ken Thompson},
+    booktitle   = {Proceedings of the Summer 1990 UKUUG Conference},
+    year        = 1990,
+    pages       = {41--51}
 }