Clara: Partially Evaluating Runtime Monitors at Compile Time

Bodden, Eric; Lam, Patrick

Clara: Partially Evaluating Runtime Monitors at Compile Time (bibtex)

@inproceedings{bl10claratutorial,
	Annote = {an VGWort melden},
	Keywords = {clara},
	Author = {Eric Bodden and Patrick Lam},
	Booktitle = {1st International Conference on Runtime Verification (RV)},
	Date-Modified = {2010-10-19 13:45:12 +0200},
	Month = nov,
	Note = {Tutorial},
	Pages = {183--197},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {{Clara: Partially Evaluating Runtime Monitors at Compile Time}},
	Url = {https://www.bodden.de/pubs/bl10claratutorial.pdf},
	Volume = {6418},
	Year = {2010},
	Bdsk-Url-1 = {https://www.bodden.de/pubs/bl10claratutorial.pdf}}