Changeset 3455 for Papers/fopara2013/fopara13.bib

Timestamp:

Feb 20, 2014, 4:20:30 PM (6 years ago)

Author:

mulligan

Message:

more space saving. now down to 16 pages + 1 page bibliography

File:

• Papers/fopara2013/fopara13.bib (modified) (3 diffs)

Papers/fopara2013/fopara13.bib

@@ -31 +31 @@
 volume={7437},
 series={LNCS},
-editor={Stoelinga, Mariëlle and Pinger, Ralf},
 doi={10.1007/978-3-642-32469-7_3},
 title={Certifying and Reasoning on Cost Annotations in {C} Programs},
 url={http://dx.doi.org/10.1007/978-3-642-32469-7_3},
-publisher={Springer Berlin Heidelberg},
 author={Ayache, Nicolas and Amadio, RobertoM. and R\'egis-Gianas, Yann},
-pages={32-46}
+pages={32--46}
 }
 
 @incollection{labelling2,
 year={2012},
-isbn={978-3-642-32494-9},
 booktitle={Foundational and Practical Aspects of Resource Analysis},
 volume={7177},
 series={LNCS},
-editor={Peña, Ricardo and Eekelen, Marko and Shkaravska, Olha},
 doi={10.1007/978-3-642-32495-6_5},
 title={Certifying and Reasoning on Cost Annotations of Functional Programs},
-url={http://dx.doi.org/10.1007/978-3-642-32495-6_5},
-publisher={Springer Berlin Heidelberg},
 author={Amadio, RobertoM. and R\'egis-Gianas, Yann},
-pages={72-89},
+pages={72--89},
 note={Extended version to appear in Higher Order and Symbolic Computation, 2013}
 }
@@ -138 +132 @@
   booktitle = {CPP},
   year      = {2012},
-  pages     = {43-59},
-  ee        = {http://dx.doi.org/10.1007/978-3-642-35308-6_7},
-  crossref  = {DBLP:conf/cpp/2012},
-  bibsource = {DBLP, http://dblp.uni-trier.de}
+  pages     = {43--59},
+  doi       = {10.1007/978-3-642-35308-6_7}
 }
 @proceedings{DBLP:conf/cpp/2012,
@@ -191 +183 @@
                September 2005},
   booktitle = {Trends in Functional Programming},
-  publisher = {Intellect / University of Chicago Press},
   series    = {Trends in Functional Programming},
   volume    = {6},