DocumentCode
3518716
Title
A typing system for software development environments
Author
Jamart, Philippe ; Baudhuin, Anne ; Vandersmissen, Marc ; Vanhoedenaghe, Marleen
Author_Institution
Unite d´´Inf., Univ. Catholique de Louvain, Louvain-la-Neuve, Belgium
fYear
1988
fDate
11-14 Apr 1988
Firstpage
279
Lastpage
287
Abstract
The authors propose a typing system for tools and objects based on the comparison of attributes that are associated with objects with expressions on these attributes that are associated with tools. This system allows static type checking of command lines having arguments that can be simple objects, structured objects, or families of objects. The concepts are general enough to be used not only in software development environments, but also in other CAD environments
Keywords
programming environments; software tools; CAD environments; attributes; command lines; expressions; objects; software development environments; static type checking; tools; typing system; Command languages; Computer languages; Concrete; Contracts; Data models; Environmental management; Kernel; Programming; Project management; Software tools;
fLanguage
English
Publisher
ieee
Conference_Titel
CompEuro '88. 'Design: Concepts, Methods and Tools'
Conference_Location
Brussels
Print_ISBN
0-8186-0834-X
Type
conf
DOI
10.1109/CMPEUR.1988.4960
Filename
4960
Link To Document