Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement.

Eric Bodden, Patrick Lam

Browse the full RV paper archive.