Programma's van thechecker.sf.net

Het Checker-framework is een eenvoudig uiterlijke set van controle/transformatie om hiërarchie van ketenbewerkingen te bouwen die gemakkelijk te maken/opnieuw worden gemaakt en opnieuw worden gebruikt (tijdens de run-time als