Changeset 13887ac2 for doc

Timestamp:

Dec 12, 2024, 10:23:32 PM (6 days ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

63b32f9d

Parents:

ad8b6df

Message:

add citation

File:

• doc/bibliography/pl.bib (modified) (2 diffs)

doc/bibliography/pl.bib

@@ -4495 +4495 @@
     pages       = {55-59},
     issn        = {0163-5719},
+}
+
+@article{Melo17,
+    keywords    = {C Language, Parsing, Partial Programs, Type Inference},
+    author      = {Melo, Leandro T. C. and Ribeiro, Rodrigo G. and de Ara\'{u}jo, Marcus R. and Pereira, Fernando Magno Quint\~{a}o},
+    title       = {Inference of Static Semantics for Incomplete {C} Programs},
+    publisher   = {ACM},
+    address     = {New York, NY, USA},
+    volume      = 2,
+    number      = {POPL},
+    journal     = {Proc. ACM Program. Lang.},
+    year        = 2017,
+    month       = dec,
+    articleno   = {29},
 }
 
@@ -6677 +6691 @@
     title       = {Poly Manual},
     journal     = sigplan,
-    month       = sep, year = 1985,
-    volume      = 20, number = 9, pages = {52-76}
+    month       = sep,
+    year        = 1985,
+    volume      = 20,
+    number      = 9,
+    pages       = {52-76}
 }