Title :
Specifying the Law of Demeter and C++ programming guidelines with FCL
Author :
Hou, Daqing ; Hoover, H. James ; Rudnicki, Piotr
Author_Institution :
Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta.
Abstract :
The Framework Constraint Language (FCL) is a tool for detecting errors in framework usage. FCL is used to specify the syntactic constraints that frameworks impose on the code of framework-based applications. Violations of these constraints are then detected through static analysis. FCL can also be used to encode design rules such as the Law of Demeter and programming guidelines. This paper introduces FCL and demonstrates its utility in these areas. The version of the FCL language and associated checker described here is targeted at C++
Keywords :
C++ language; error detection; formal specification; C++ programming guidelines; Framework Constraint Language; Law of Demeter; error detection; static analysis; Computer languages; Conferences; Guidelines; Java; Object oriented programming; Production; Specification languages; Testing;
Conference_Titel :
Source Code Analysis and Manipulation, 2004. Fourth IEEE International Workshop on
Conference_Location :
Chicago, IL
Print_ISBN :
0-7695-2144-4
DOI :
10.1109/SCAM.2004.22