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...Show MoreMetadata
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.<>
Date of Conference: 11-14 April 1988
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-8186-0834-X
