Magic for the masses: safer high-level low-level programming through customizable static analyses

Ralf Mitschke, Andreas Sewe, Mira Mezini. Magic for the masses: safer high-level low-level programming through customizable static analyses. In Bram Adams, Michael Haupt, David H. Lorenz, Eric Wohlstadter, editors, Proceedings of the 1st workshop on Modularity in systems software, MISS@AOSD 2011, Porto de Galinhas, Brazil, March 22, 2011. pages 13-17, ACM, 2011. [doi]

Abstract

Abstract is missing.