Enforcing and Validating User-Defined Programming Disciplines
7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2007), San Diego, CA, June 13-14, 2007.
Brian Chin, Daniel Marino, Shane Markstrum, Todd Millstein
A 2-page overview of a research-group presentation on our approach to
allowing programmers to easily specify, enforce, and validate
desired programming disciplines.
[PDF | Project Page]