@inproceedings{Klebanov04,
author = {Vladimir Klebanov},
title = {A {JMM}-Faithful Non-interference Calculus for {J}ava},
booktitle = {4th International Workshop on Scientific Engineering of
Distributed Java Applications (FIDJI 2004)},
year = {2004},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3409},
pages = {101--111},
ee = {https://www.springerlink.com/link.asp?id=6fq6uyda8brf7qae},
venue = {Luxembourg-Kirchberg, Luxembourg}
}
A JMM-Faithful Non-interference Calculus for Java
| Autor(en): | Vladimir Klebanov |
|---|---|
| In: | 4th International Workshop on Scientific Engineering of Distributed Java Applications (FIDJI 2004) |
| Verleger: | Springer |
| Reihe: | Lecture Notes in Computer Science |
| Band: | 3409 |
| Jahr: | 2004 |
| Seiten: | 101-111 |