DocumentCode
425443
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.
fYear
2004
fDate
16-16 Sept. 2004
Firstpage
119
Lastpage
127
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Source Code Analysis and Manipulation, 2004. Fourth IEEE International Workshop on
Conference_Location
Chicago, IL
Print_ISBN
0-7695-2144-4
Type
conf
DOI
10.1109/SCAM.2004.22
Filename
1386165
Link To Document