Enforcing and Validating User-Defined Programming Disciplines
In 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,
and
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]