Clara: partially evaluating runtime monitors at compile time tutorial supplement
RV, pp. 74-88, 2010.
EI
Keywords:
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:
Tags
Comments