Verifying traits: a proof system for fine-grained reuse.

Ferruccio Damiani Johan Dovland Einar Broch Johnsen Ina Schaefer

Published in: FTfJP@ECOOP (2011)

Keyphrases

fine grained
coarse grained
access control
tightly coupled
modal logic
learning objects
model checking
massively parallel
data provenance
data lineage
database