Clara: partially evaluating runtime monitors at compile time tutorial supplement

RV, pp. 74-88, 2010.

Cited by: 6|Bibtex|Views10|Links
EI
Keywords:
monitors eventaspectj monitoring aspectstrong static guaranteeaspectj aspectclara frameworkMore(7+)

Abstract:

CLARA is a novel static-analysis framework for partially evaluating finite-state runtime monitors at compile time. CLARA uses static typestate analyses to automatically convert any AspectJ monitoring aspect into a residual runtime monitor that only monitors events triggered by program locations that the analyses failed to prove safe. If t...More

Code:

Data:

Your rating :
0

 

Tags
Comments