Damiani:FTfJP-2011 (In proceedings)
|
Author(s) | Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen and Ina Schaefer |
Title | « Verifying traits: a proof system for fine-grained reuse » |
In | Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs |
Series | FTfJP '11 |
Page(s) | 8:1--8:6 |
Year | 2011 |
Publisher | ACM |
Address | New York, NY, USA |
ISBN number | 978-1-4503-0893-9 |
URL | http://doi.acm.org/10.1145/2076674.2076682 |
Keywords |
Keywords: incremental reasoning, program verification, proof system, trait
|
@inproceedings{Damiani:FTfJP-2011,
author = {Damiani, Ferruccio and Dovland, Johan and Johnsen, Einar Broch and
Schaefer, Ina},
series = {FTfJP '11},
keywords = {incremental reasoning, program verification, proof system, trait},
numpages = {6},
url = {http://doi.acm.org/10.1145/2076674.2076682},
address = {New York, NY, USA},
isbn = {978-1-4503-0893-9},
publisher = {ACM},
articleno = {8},
doi = {10.1145/2076674.2076682},
location = {Lancaster, United Kingdom},
booktitle = {Proceedings of the 13th Workshop on Formal Techniues for
Java-Like Programs},
acmid = {2076682},
title = {Verifying traits: a proof system for fine-grained reuse},
pages = {8:1--8:6},
year = {2011},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)