Domain-Specific Program Checking

Lint-like program checkers are popular tools that ensure code quality by verifying compliance with best practices for a particular programming language. The proliferation of internal domain-specific languages and models, however, poses new challenges for such tools. Traditional program checkers produce many false positives and fail to accurately check constraints, best practices, common errors, possible optimizations and portability issues particular to domain-specific languages. We advocate the use of dedicated rules to check domain-specific practices.


  1. Lukas Renggli, Stéphane Ducasse, Tudor Gîrba, and Oscar Nierstrasz. Domain-Specific Program Checking. In Jan Vitek (Ed.), Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS'10), LNCS 6141 p. 213—232, Springer-Verlag, 2010. DOI PDF 

Last changed by admin on 21 April 2009