Andrei V. Klimov. A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols. In Amir Pnueli, Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Volume 5947 of Lecture Notes in Computer Science, pages 185-192, Springer, 2009. [doi]
@inproceedings{Klimov09,
title = {A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols},
author = {Andrei V. Klimov},
year = {2009},
doi = {10.1007/978-3-642-11486-1_16},
url = {http://dx.doi.org/10.1007/978-3-642-11486-1_16},
tags = {programming languages, object-oriented programming, rule-based, Java, meta programming, caching, program verification, meta-model, modeling language, modeling, protocol, language modeling, functional programming, object-role modeling, reviewing, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
researchr = {https://researchr.org/publication/Klimov09},
cites = {0},
citedby = {0},
pages = {185-192},
booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers},
editor = {Amir Pnueli and Irina Virbitskaite and Andrei Voronkov},
volume = {5947},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-11485-4},
}