Formalization IDEs Integrated with a Verifying Compiler. - Daniel Welch 001; Blair Durkee; Mike Kabbani; Murali Sitaraman (ICOOOLPS@ECOOP, 2017)