Lines Matching refs:Java

11   title =	 {\protect{Adding Type Parameterization to the Java
30   title =	 {\protect{Barat -- A Front-End for Java}},
47   title =	 {\protect{BIT: A Tool for Instrumenting Java
72   title =	 {\protect{Dynamic Class Loading in the Java Virtual
98   title =	 {The Java Language Specification},
104   title =	 {Inside Java Class Files},
114   title =	 {Java Virtual Machine},
121   title =	 {\protect{JaWa: Java with Assertions}},
138   title =	 {The Java Virtual Machine Specification},
145   title =	 {\protect{Parameterized Types for Java}},
153   title =	 {\protect{Poor Man's Genericity for Java}},
169   title =	 {\protect{Statistische Analyse von Java-Classfiles}},