Some changes from my thesis.
[cacao.git] / doc / handbook / java.bib
index 4542255c19e0874855d7276a316b258b652b2133..3185e60e96e6fd77ebc8064bd53c2545feefb495 100644 (file)
@@ -168,7 +168,7 @@ Ishizaki+00@proceedings{ISMM98,
 @MISC{BissAWT97,
   AUTHOR =      {Peter Mehlitz},
   TITLE =       {Biss {AWT}},
-  HOWPUBLISHED = {{\tt http://www. biss-net.com/biss-awt.html}},
+  HOWPUBLISHED = {{\tt http://www.biss-net.com/biss-awt.html}},
   YEAR =        1997
 }
 
@@ -189,7 +189,7 @@ Ishizaki+00@proceedings{ISMM98,
 @MISC{SunThreads97,
   KEY =                 {JavaThreads},
   TITLE =       {Java Threads Whitepaper},
-  HOWPUBLISHED = {{\tt http://java. sun.com/}},
+  HOWPUBLISHED = {{\tt http://java.sun.com/}},
   INSTITUTION =         {SUN},
   YEAR =        1997
 }
@@ -695,7 +695,7 @@ Ishizaki+00@proceedings{ISMM98,
   OPTkey =      {},
   author =      {Tim Wilkinson},
   title =       {{KAFFE}: A free virtual machine to run {Java} code},
-  howpublished = {{\tt http: //www.kaffe.org}},
+  howpublished = {{\tt http://www.kaffe.org}},
   year =        {1997},
   OPTmonth =    {},
   OPTnote =     {},
@@ -1533,3 +1533,220 @@ 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"
+}
+
+@INPROCEEDINGS{OgKoNa02,
+  AUTHOR =    {Takeshi Ogasawara and Hideaki Komatsu and Toshio Nakatani},
+  TITLE =     {{Optimizing Precision Overhead for x86 Processors}},
+  BOOKTITLE = {2nd Java Virtual Machine Research and Technology Symposium (JVM '02)},
+  PAGES =     {41--50},
+  VOLUME =    {August 1--2},
+  YEAR =      2003
+}
+
+@misc{AMD,
+  KEY =          {AMD},
+  TITLE =       {{Advanced Micro Devices}},
+  HOWPUBLISHED = {\texttt{http://www.amd.com/}},
+  YEAR =         2004
+}
+
+@misc{AMD64,
+  KEY =          {AMD64},
+  TITLE =       {{AMD64}},
+  HOWPUBLISHED = {\texttt{http://www.amd64.org/}},
+  YEAR =         2004
+}
+
+@unpublished{AMD64ABI,
+  KEY =          {AMD64ABI},
+  AUTHOR =       {Jan Hubicka and Andreas Jaeger and Mark Mitchell},
+  TITLE =       {{System V Application Binary Interface, AMD64 Architecture Processor Supplement}},
+  NOTE =         {\texttt{http://www.amd64.org/}},
+  MONTH =        {July},
+  YEAR =         2004
+}
+
+@misc{Blackdown,
+  KEY =          {Blackdown},
+  TITLE =       {Blackdown.org},
+  HOWPUBLISHED = {\texttt{http://www.blackdown.org/}},
+  YEAR =         2003
+}
+
+@misc{GCJ,
+  KEY =          {GCJ},
+  TITLE =       {The {GNU} Compiler for the {J}ava Programming Language},
+  HOWPUBLISHED = {\texttt{http://gcc.gnu.org/java/}},
+  YEAR =         2004
+}
+
+@misc{Sun,
+  KEY =          {SUN},
+  TITLE =       {Sun {M}icrosystems},
+  HOWPUBLISHED = {\texttt{http://www.sun.com/}},
+  YEAR =         2004
+}
+
+@misc{SunJVM,
+  KEY =          {SunJVM},
+  TITLE =       {Sun {M}icrosystems {J}ava {V}irtual {M}achine},
+  HOWPUBLISHED = {\texttt{http://java.sun.com/j2se/}},
+  YEAR =         2004
+}
+
+@misc{IBMJVM,
+  KEY =          {IBMJVM},
+  TITLE =       {{IBM} {J}ava {V}irtual {M}achine},
+  HOWPUBLISHED = {\texttt{http://www-106.ibm.com/developerworks/java/jdk/}},
+  YEAR =         2004
+}
+
+@misc{SUSE,
+  KEY =          {SUSE},
+  TITLE =       {{SUSE} {L}inux},
+  HOWPUBLISHED = {\texttt{http://www.suse.com/}},
+  YEAR =         2004
+}
+
+@manual{IA32vol1,
+  TITLE =        {IA-32 Intel Architecture Software Developer's Manual Volume 1: Basic Architecture},
+  ORGANIZATION = {Intel Cooperation},
+  ADDRESS =      {P.O. Box 7641 Mt. Prospect IL 60056-7641},
+  NOTE =         {{Order Number: 245470-009}},
+  YEAR =         2002
+}
+
+@manual{IA32opt,
+  TITLE =        {IA-32 Intel Architecture Optimization Reference Manual},
+  ORGANIZATION = {Intel Cooperation},
+  ADDRESS =      {\texttt{http://developer.intel.com}},
+  NOTE =         {{Order Number: 248966-009}},
+  YEAR =         2003
+}
+
+@manual{AMDopt,
+  TITLE =        {AMD Athlon Processor x86 Code Optimization Guide},
+  ORGANIZATION = {Advanced Micro Devices, Inc.},
+  NOTE =         {{Publication No. 22007}},
+  MONTH =        {February},
+  YEAR =         2002
+}
+
+@MISC{KJC,
+  KEY =          {KJC},
+  TITLE =       {{KJC} {K}opi {J}ava {C}ompiler},
+  HOWPUBLISHED = {\texttt{http://www.dms.at/kopi/}},
+  YEAR =         2004
+}
+
+@MASTERSTHESIS{Lackner2001,
+  AUTHOR =      {Martin Lackner},
+  TITLE =       {Extending {J}ava},
+  SCHOOL =      {Technische Universit\"at Wien},
+  MONTH =       {May},
+  YEAR =        2001
+}
+
+@InProceedings{1998:iccl:jensen,
+  author =       "T. Jensen and D. Le M{\'e}tayer and T. Thorn",
+  title =        "Security and Dynamic Class Loading in {J}ava: {A}
+                 Formalisation",
+  booktitle =    "Proceedings of the 1998 International Conference on
+                 Computer Languages",
+  publisher =    "IEEE Computer Society Press",
+  year =         "1998",
+  ISBN =         "0-780-35005-7, 0-8186-8454-2, 0-8186-8456-9",
+  pages =        "4--15",
+}
+
+@Misc{oai:CiteSeerPSU:523425,
+  title =        "Dynamic Class Loading in the Java",
+  author =       "Gilad Bracha and Sheng Liang",
+  year =         "1999",
+  month =        sep # "~26",
+  annote =       "The Pennsylvania State University CiteSeer Archives",
+  language =     "en",
+  oai =          "oai:CiteSeerPSU:523425",
+  rights =       "unrestricted",
+  subject =      "Gilad Bracha,Sheng Liang Dynamic Class Loading in the
+                 Java",
+  URL =          "http://citeseer.ist.psu.edu/523425.html;
+                 http://www.cs.utah.edu/~gary/classloaders.ps",
+}
+
+@Article{Norton:2000:DCL,
+  author =       "James Norton",
+  title =        "Dynamic Class Loading in {C++}",
+  journal =      "Linux Journal",
+  volume =       "73",
+  pages =        "??--??",
+  month =        may,
+  year =         "2000",
+  CODEN =        "LIJOFX",
+  ISSN =         "1075-3583",
+  bibdate =      "Thu Sep 21 07:44:12 MDT 2000",
+  URL =          "http://noframes.linuxjournal.com/lj-issues/issue73/3687.html",
+  acknowledgement = ack-nhfb,
+}
+
+@InProceedings{alpe02,
+  title =        "Experiences Porting the {J}ikes {RVM} to
+                 {L}inux/{IA}32",
+  author =       "Bowen Alpern and Maria Butrico and Anthony Cocchi and
+                 Julian Dolby and Stephen Fink and David Grove and Ngo
+                 Ngo",
+  booktitle =    "Usenix Java Virtual Machine Research and Technology
+                 Symposium ({JVM} '02)",
+  address =      "San Francisco, CA",
+  month =        aug,
+  year =         "2002",
+  URL =          "http://www.research.ibm.com/people/d/dgrove/papers/jvm02.pdf"
+}
+
+@Article{Alpern:2000:JAV,
+  author =       "B. Alpern and C. R. Attanasio and J. J. Barton and Burke
+                 Burke and P. Cheng and J.-D. Choi and A. Cocchi and
+                 S. J. Fink and D. Grove and M. Hind and S. F. Hummel
+                 and D. Lieber and V. Litvinov and M. F. Mergen and Ngo
+                 Ngo and J. R. Russell and V. Sarkar and M. J. Serrano
+                 and J. C. Shepherd and S. E. Smith and V. C. Sreedhar
+                 and H. Srinivasan and J. Whaley",
+  title =        "The {Jalape{\~n}o} virtual machine",
+  journal =      "IBM Systems Journal",
+  volume =       "39",
+  number =       "1",
+  pages =        "211--238",
+  month =        "????",
+  year =         "2000",
+  CODEN =        "IBMSA7",
+  ISSN =         "0018-8670",
+  bibdate =      "Mon Apr 24 15:43:02 MDT 2000",
+  URL =          "http://www.research.ibm.com/journal/sj/391/alpern.html",
+  acknowledgement = ack-nhfb,
+  keywords =     "Java",
+  ordernumber =  "G321-0137",
+}