remove noise from bibliography
authorNorman Ramsey <nr@cs.tufts.edu>
Thu, 29 Jul 2010 19:13:12 +0000 (15:13 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Thu, 29 Jul 2010 19:13:12 +0000 (15:13 -0400)
paper/dfopt.bib

index 6e6a867..dcbb4a3 100644 (file)
 }
 
 @inproceedings{steffen:data-flow-analysis-model-checking:1991,
+  xxxpublisher = {Springer-Verlag},
   xxxaddress = {London, UK},
-  publisher = {Springer-Verlag},
   title = {Data Flow Analysis as Model Checking},
   pages = {346--365},
   year = {1991},
 
 @article{marlowe-ryder:properties-data-flow-frameworks,
   number = {2},
-  issn = {0001-5903},
+  xxxaddress = {Secaucus, NJ, USA},
   author = {Marlowe, Thomas J. and Ryder, Barbara G.},
   journal = {Acta Informatica},
   publisher = {Springer-Verlag New York, Inc.},
   year = {1990},
   volume = {28},
-  xxxaddress = {Secaucus, NJ, USA},
   doi = {http://dx.doi.org/10.1007/BF01237234},
+  xxxissn = {0001-5903},
   pages = {121--163},
   title = {Properties of data flow frameworks: a unified model},
 }
 }
 
 @inproceedings{hendren:soot:2000,
-  pages = {18--34},
-  publisher = {Springer-Verlag},
+  xxxpublisher = {Springer-Verlag},
+  xxxaddress = {London, UK},
   title = {Optimizing {Java} Bytecode Using the {Soot} Framework: Is It Feasible?},
-  address = {London, UK},
+  pages = {18--34},
   year = {2000},
   booktitle = {CC '00: Proceedings of the 9th International Conference on Compiler Construction},
   xxxisbn = {3-540-67263-X},
 }
 
 @inproceedings{necula:cil:2002,
-  pages = {213--228},
-  publisher = {Springer-Verlag},
+  xxxpublisher = {Springer-Verlag},
+  xxxaddress = {London, UK},
   title = {{CIL}: Intermediate Language and Tools for Analysis and Transformation of {C}~Programs},
-  address = {London, UK},
+  pages = {213--228},
   year = {2002},
   booktitle = {CC '02: Proceedings of the 11th International Conference on Compiler Construction},
   xxxisbn = {3-540-43369-4},
 }
 
 @unpublished{runciman:increasing-prs,
-  note = {Reduceron Memo~50},
+  note = {Reduceron Memo~50, \url{www.cs.york.ac.uk/fp/reduceron}},
   title = {Finding and increasing {PRS} candidates},
   month = {June},
   author = {Colin Runciman},
-  url = {http://www.cs.york.ac.uk/fp/reduceron},
   year = {2010},
 }