Research on "Formal Methods in Computing"

Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse

Work partially supported by MIUR PRIN'06 EOS DUE project.

ABSTRACT.

• pdf

BIBTEX.

@inproceedings{tipoW-BonoDamiGiac:FTfJP-07,
booktitle = {Electronic proceedings of FTfJP'07 (http://www.cs.ru.nl/ftfjp/)},
url = {http://www.di.unito.it/~damiani/papers/ftfjp07.html},
tag = {electronic proceedings of Workshop FTfJP'07
       (http://www.cs.ru.nl/ftfjp/)},
title = {{S}eparating {T}ype, {B}ehavior, and {S}tate to {A}chieve {V}ery
         {F}ine-grained {R}euse},
author = {Bono, Viviana and Damiani, Ferruccio and Giachino, Elena},
year = {2007},