Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/fopara2013/fopara13.bib

    r3444 r3455  
    3131volume={7437},
    3232series={LNCS},
    33 editor={Stoelinga, Mariëlle and Pinger, Ralf},
    3433doi={10.1007/978-3-642-32469-7_3},
    3534title={Certifying and Reasoning on Cost Annotations in {C} Programs},
    3635url={http://dx.doi.org/10.1007/978-3-642-32469-7_3},
    37 publisher={Springer Berlin Heidelberg},
    3836author={Ayache, Nicolas and Amadio, RobertoM. and R\'egis-Gianas, Yann},
    39 pages={32-46}
     37pages={32--46}
    4038}
    4139
    4240@incollection{labelling2,
    4341year={2012},
    44 isbn={978-3-642-32494-9},
    4542booktitle={Foundational and Practical Aspects of Resource Analysis},
    4643volume={7177},
    4744series={LNCS},
    48 editor={Peña, Ricardo and Eekelen, Marko and Shkaravska, Olha},
    4945doi={10.1007/978-3-642-32495-6_5},
    5046title={Certifying and Reasoning on Cost Annotations of Functional Programs},
    51 url={http://dx.doi.org/10.1007/978-3-642-32495-6_5},
    52 publisher={Springer Berlin Heidelberg},
    5347author={Amadio, RobertoM. and R\'egis-Gianas, Yann},
    54 pages={72-89},
     48pages={72--89},
    5549note={Extended version to appear in Higher Order and Symbolic Computation, 2013}
    5650}
     
    138132  booktitle = {CPP},
    139133  year      = {2012},
    140   pages     = {43-59},
    141   ee        = {http://dx.doi.org/10.1007/978-3-642-35308-6_7},
    142   crossref  = {DBLP:conf/cpp/2012},
    143   bibsource = {DBLP, http://dblp.uni-trier.de}
     134  pages     = {43--59},
     135  doi       = {10.1007/978-3-642-35308-6_7}
    144136}
    145137@proceedings{DBLP:conf/cpp/2012,
     
    191183               September 2005},
    192184  booktitle = {Trends in Functional Programming},
    193   publisher = {Intellect / University of Chicago Press},
    194185  series    = {Trends in Functional Programming},
    195186  volume    = {6},
Note: See TracChangeset for help on using the changeset viewer.