A pattern enforcing compiler (PEC) for Java: using the compiler
Howard Lovatt, Anthony M. Sloane, Dominic R. Verity · 2005
A PEC is a Pattern Enforcing Compiler, which is like a conventional compiler only extended to include the extra checks needed to enforce design patterns. PECs are currently a research project and the PEC written is targeted at the Java programming language. This paper: