Domain-Specific Program Checking

Abstract : 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. We demonstrate the implementation of domain-specific rules, the automatic fixing of violations, and their application to two case-studies: (1) Seaside defines several internal DSLs through a creative use of the syntax of the host language; and (2) Magritte adds meta-descriptions to existing code by means of special methods. Our empirical validation demonstrates that domain-specific program checking significantly improves code quality when compared with general purpose program checking.
Type de document :
Communication dans un congrès
International Conference on Objects, Models, Components and Patterns (TOOLS), Jun 2010, Malaga, Spain. 2010
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger
Contributeur : Lse Lse <>
Soumis le : mardi 2 novembre 2010 - 23:21:33
Dernière modification le : jeudi 11 janvier 2018 - 06:22:25
Document(s) archivé(s) le : vendredi 2 décembre 2016 - 06:24:10


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00531509, version 1


Lukas Renggli, Stéphane Ducasse, Tudor Girba, Oscar Nierstrasz. Domain-Specific Program Checking. International Conference on Objects, Models, Components and Patterns (TOOLS), Jun 2010, Malaga, Spain. 2010. 〈inria-00531509〉



Consultations de la notice


Téléchargements de fichiers