|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java |
Li, Xin |
2009 |
253 | 5 |
p. 31-46 16 p. |
artikel |
|
| 2 | Experiments with Non-Termination Analysis for Java Bytecode |
Payet, Étienne |
2009 |
253 | 5 |
p. 83-96 14 p. |
artikel |
|
| 3 | Jalapa: Securing Java with Local Policies |
Bartoletti, Massimo |
2009 |
253 | 5 |
p. 145-151 7 p. |
artikel |
|
| 4 | Pervasive Load-Time Transformation for Transparently Distributed Java |
McGachey, Phil |
2009 |
253 | 5 |
p. 47-64 18 p. |
artikel |
|
| 5 | Preface |
Albert, Elvira |
2009 |
253 | 5 |
p. 1-2 2 p. |
artikel |
|
| 6 | Soundly Handling Static Fields: Issues, Semantics and Analysis |
Hubert, Laurent |
2009 |
253 | 5 |
p. 15-30 16 p. |
artikel |
|
| 7 | The Non-Interference Protection in BML |
Schubert, Aleksy |
2009 |
253 | 5 |
p. 113-127 15 p. |
artikel |
|
| 8 | The S3MS.NET Run Time Monitor |
Desmet, Lieven |
2009 |
253 | 5 |
p. 153-159 7 p. |
artikel |
|
| 9 | Towards an XML-based Bytecode Level Transformation Framework |
Puder, Arno |
2009 |
253 | 5 |
p. 97-111 15 p. |
artikel |
|
| 10 | User-Definable Resource Usage Bounds Analysis for Java Bytecode |
Navas, Jorge |
2009 |
253 | 5 |
p. 65-82 18 p. |
artikel |
|
| 11 | Using CLP Simplifications to Improve Java Bytecode Termination Analysis |
Spoto, Fausto |
2009 |
253 | 5 |
p. 129-144 16 p. |
artikel |
|
| 12 | Virtual-Machine Abstraction and Optimization Techniques |
Brunthaler, Stefan |
2009 |
253 | 5 |
p. 3-14 12 p. |
artikel |
12 gevonden resultaten