Lines Matching full:protect

3   title =	 {\protect{Programming the Internet in Ada95}},
11   title =	 {\protect{Adding Type Parameterization to the Java
22   title =	 {\protect{Aspect-Oriented Programming}},
30   title =	 {\protect{Barat -- A Front-End for Java}},
38   title =	 {\protect{Binary Component Adaptation}},
47   title =	 {\protect{BIT: A Tool for Instrumenting Java
72   title =	 {\protect{Dynamic Class Loading in the Java Virtual
90   title =	 {\protect{Type Inference for Late Binding. The
121   title =	 {\protect{JaWa: Java with Assertions}},
130   title =	 {\protect{Automatic Program Transformation with
145   title =	 {\protect{Parameterized Types for Java}},
153   title =	 {\protect{Poor Man's Genericity for Java}},
169   title =	 {\protect{Statistische Analyse von Java-Classfiles}},
178   title =	 {\protect{Statische Analyse von Bibliotheken als