P. Jamart, A. Baudhuin, M. Vandersmissen, M. Vanhoedenaghe
{"title":"A typing system for software development environments","authors":"P. Jamart, A. Baudhuin, M. Vandersmissen, M. Vanhoedenaghe","doi":"10.1109/CMPEUR.1988.4960","DOIUrl":null,"url":null,"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.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"6 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPEUR.1988.4960","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
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.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
![[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
扫码关注我们
