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]