Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time Eric Bodden1 , Patrick Lam2 and Laurie Hendren1 1 2

First Page		Document Content
Date: 2014-02-12 18:13:43 Formal methods Logic in computer science Runtime verification Theoretical computer science Iterator Q Monad Algorithm Shape analysis Computing Software engineering Computer programming		Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time Eric Bodden1 , Patrick Lam2 and Laurie Hendren1 1 2 Add to Reading List Source URL: 21w.ca Download Document from Source Website File Size: 293,15 KB Share Document on Facebook

	Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ? DocID: 1xVko - View Document
	Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨ DocID: 1xTp7 - View Document
	Progress in persistence for shape analysis Massimo Ferri Vision Mathema cs Group Università di Bologna DocID: 1vgGD - View Document
	Acta Zoologica Academiae Scientiarum Hungaricae 51 (2), pp. 151–162, 2005 REPEATABILITY ANALYSIS OF EGG SHAPE IN A WILD TREE SPARROW (PASSER MONTANUS) POPULATION: A SENSITIVE METHOD FOR EGG SHAPE DESCRIPTION MÓNUS, F DocID: 1uYFi - View Document
	Statistical Shape Analysis of Neuroanatomical Structures via Level-Set--based Shape Morphing DocID: 1uQ8u - View Document