一个用于软件开发环境的打字系统

[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI:10.1109/CMPEUR.1988.4960

P. Jamart, A. Baudhuin, M. Vandersmissen, M. Vanhoedenaghe

{"title":"一个用于软件开发环境的打字系统","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":"{\"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}","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

摘要

作者提出了一种工具和对象的类型系统，该系统基于与对象相关的属性与与工具相关的这些属性的表达式的比较。该系统允许对具有简单对象、结构化对象或对象族参数的命令行进行静态类型检查。这些概念足够通用，不仅可以用于软件开发环境，还可以用于其他CAD环境。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A typing system for software development environments

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.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools

自引率

0.00%

发文量