1 files changed, 0 insertions, 70 deletions
diff --git a/doc/research.bib b/doc/research.bib
deleted file mode 100644
index dcf93bc..0000000
--- a/doc/research.bib
+++ /dev/null
@@ -1,70 +0,0 @@
-
-@INPROCEEDINGS{halbwachs94c,
-   AUTHOR={N. Halbwachs},
-   TITLE={About synchronous programming and abstract interpretation},
-   BOOKTITLE={International Symposium on Static Analysis, SAS'94},
-   EDITOR = {B. {LeCharlier}},
-   PUBLISHER = {LNCS 864, Springer Verlag},
-   ADDRESS = {Namur (belgium)},
-   MONTH = {September},
-   YEAR= 1994
-}
-@ARTICLE{lesartse,
-    AUTHOR = {N. Halbwachs and F. Lagnier and C. Ratel },
-    TITLE = {Programming and verifying real-time systems by means of 
-             the synchronous data-flow programming language Lustre},
-    JOURNAL = {IEEE Transactions on Software Engineering, 
-               Special Issue on the Specification and Analysis 
-               of Real-Time Systems},
-    MONTH={September },
-    YEAR=1992
-}
-@INPROCEEDINGS{jhrsas99,
-AUTHOR = {B. Jeannet and N. Halbwachs and P. Raymond},
-TITLE={Dynamic Partitioning in Analyses of Numerical
-Properties},
-BOOKTITLE={Static Analysis Symposium, SAS'99},
-address={Venezia (Italy)},
-month = sep,
-year=1999
-}
-
-\bibitem{cousotCousot79-1}
-P. Cousot and R. Cousot.
-\newblock Systematic design of program analysis frameworks.
-\newblock In \emph{Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT
-  Symposium on Principles of Programming Languages}, pages 269--282, San
-  Antonio, Texas, 1979. ACM Press, New York, NY, U.S.A.
-
-@inproceedings{cousotCousot79-1,
-   author =    {Cousot, P. and Cousot, R.},
-   title =     {Systematic design of program analysis frameworks},
-   pages =     {269--282},
-   booktitle = {Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT 
-                Symposium on Principles of Programming Languages},
-   address =   {San Antonio, Texas},
-   publisher = {ACM Press, New York, NY},
-   year =      1979,
-}
-
-
-\bibitem{blanchetEtAl-PLDI03}
-B{.} Blanchet, P{.} Cousot, R{.} Cousot, J{.} Feret, L{.} Mauborgne, A{.}
-   Min\'e, D{.} Monniaux, and X{.} Rival.  
-\newblock A Static Analyzer for Large Safety-Critical Software.
-\newblock \emph{Proc{.} ACM SIGPLAN 2003 Conference on Programming Language
-   Design and Implementation} (PLDI'03), San Diego, California , USA, June
-   7--14, 2003, pp{.} 196--207.  ACM Press, 2003.
-
-@InProceedings{blanchetEtAl-PLDI03,
-   author =    {B. Blanchet and P. Cousot and  R. Cousot and J. Feret and
-                L. Mauborgne and A. Min\'e and D. Monniaux and X. Rival},
-   title =     {A Static Analyzer for Large Safety-Critical Software},
-   pages =     {196--207},
-   booktitle = {Proceedings of the ACM SIGPLAN 2003 Conference on Programming
-                Language Design and Implementation (PLDI'03)},
-   address =   {San Diego, California, USA},
-   publisher = {ACM Press},
-   month =     {June 7--14},
-   year =      2003,
-}