Sciweavers

Share
SAC
2010
ACM
9 years 8 months ago
Checking concurrent contracts with aspects
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identiļ¬ed as cross-cutting concerns [1...
Eric Kerfoot, Steve McKeever
books