A JMM-Faithful Non-interference Calculus for Java.

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Vladimir Klebanov
In:Scientific Engineering of Distributed Java Applications, 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg
Verleger:Springer
Reihe:Lecture Notes in Computer Science
Band:3409
Jahr:2004
Seiten:101-111

BibTeX

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