verifier documentation

[cacao.git] / doc / handbook / java.bib

diff --git a/doc/handbook/java.bib b/doc/handbook/java.bib
index 4542255c19e0874855d7276a316b258b652b2133..7dca34de323ba65415588629f917ecf270244062 100644 (file)
--- a/doc/handbook/java.bib
+++ b/doc/handbook/java.bib
@@ -1533,3 +1533,26 @@ Nasr},
   year =         "2001",
 }
 
+@BOOK{javavm99,
+  AUTHOR =      {Tim Lindholm and Frank Yellin},
+  TITLE =       {The {Java} Virtual Machine Specification, Second Edition},
+  PUBLISHER =   {Addison-Wesley},
+  YEAR =        1999
+}
+
+@inproceedings{Coglio02,
+  author = "A. Coglio",
+  title = "Simple Verification Technique for Complex Java Bytecode Subroutines",
+  booktitle = "Proc. 4th ECOOP Workshop on Formal Techniques for Javalike
+    Programs",
+  year = "2002",
+  url = "citeseer.nj.nec.com/coglio02simple.html" 
+}
+
+@inproceedings{Coglio01,
+  author = "A. Coglio",
+  title = "Improving the official specification of Java bytecode verification",
+  booktitle = "Proc. 3rd ECOOP Workshop on Formal Techniques for Java Programs",
+  month =jun,
+  year = "2001",
+  url = "citeseer.nj.nec.com/coglio01improving.html" }