1 files changed, 58 insertions, 0 deletions
diff --git a/tex/lit-review/references.bib b/tex/lit-review/references.bib
new file mode 100644
index 0000000..c21a7b8
--- /dev/null
+++ b/tex/lit-review/references.bib
@@ -0,0 +1,58 @@
+@article{DBLP:tr/trier/MI96-11,
+  author    = {Christian Fecht and
+               Helmut Seidl},
+  title     = {An Even Faster Solver for General Systems of Equations},
+  journal   = {Universit{\"a}t Trier, Mathematik/Informatik, Forschungsbericht},
+  volume    = {96-11},
+  year      = {1996},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+@inproceedings{CousotCousot77-1,
+  author =    {Cousot, P{.} and Cousot, R{.}},
+  title =     {Abstract interpretation: a unified lattice model for static 
+               analysis of programs by construction or approximation of 
+               fixpoints},
+  pages =     {238--252},
+  booktitle = {Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT 
+               Symposium on Principles of Programming Languages},
+  address =   {Los Angeles, California},
+  publisher = {ACM Press, New York, NY},
+  year =      1977,
+}
+@article{mine:hosc06,
+  author =    {Min\'e, A{.}},
+  title =     {The Octagon Abstract Domain},
+  journal =   {Higher-Order and Symbolic Computation},
+  editor =    {O. Danvy},
+  publisher = {Springer},
+  year =      {2006},
+  volume =    {19},
+  number =    {1},
+  pages =     {31--100},
+  note =      {\url{http://www.di.ens.fr/~mine/publi/article-mine-HOSC06.pdf}}
+}
+@inproceedings{mine:padoII,
+  author    = {Min\'e, A{.}},
+  title     = {A New Numerical Abstract Domain Based on Difference-Bound Matrices},
+  booktitle = {Proc. of the 2d Symp. on Programs as Data Objects (PADO II)},
+  series    = {Lecture Notes in Computer Science},
+  year      = {2001},
+  month     = {May},
+  pages     = {155--172},
+  volume    = {2053},
+  publisher = {Springer},
+  location  = {Aarhus, Danemark},
+  note      = {\url{http://www.di.ens.fr/~mine/publi/article-mine-padoII.pdf}}
+}
+@inproceedings{DBLP:conf/vmcai/SankaranarayananSM05,
+  author    = {Sriram Sankaranarayanan and
+               Henny B. Sipma and
+               Zohar Manna},
+  title     = {Scalable Analysis of Linear Systems Using Mathematical Programming},
+  booktitle = {VMCAI},
+  year      = {2005},
+  pages     = {25-41},
+  ee        = {http://dx.doi.org/10.1007/978-3-540-30579-8_2},
+  crossref  = {DBLP:conf/vmcai/2005},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}