Clara: partially evaluating runtime monitors at compile time tutorial supplement
RV, pp. 74-88, 2010.
monitors eventaspectj monitoring aspectstrong static guaranteeaspectj aspectclara frameworkMore(7+)
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
Full Text (Upload PDF)
PPT (Upload PPT)