Serdar Erbatur, Martin Hofmann. GuideForce: Type-Based Enforcement of Programming Guidelines. In Domenico Bianculli, Radu Calinescu, Bernhard Rumpe, editors, Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers. Volume 9509 of Lecture Notes in Computer Science, pages 75-89, Springer, 2015.
Abstract is missing.