文章免费访问 在上共享 CLU中的抽象机制作者:芭芭拉 利斯科夫,艾伦 斯奈德,拉塞尔 阿特金森、和克雷格 沙弗特作者信息和声明ACM SIGSOFT软件工程说明,体积2,问题2第页140https://doi.org/10.1145/390019.808322出版:1977年3月1日 出版历史 获取引文提醒新增引文提醒!此警报已成功添加,将发送到:只要您选择的记录被引用,您就会收到通知。新的引文警报!拜托登录到您的帐户 PDF格式电子阅读器目录ACM SIGSOFT软件工程说明体积2,问题2以前的文章Alphard中的抽象和验证上一个下一篇文章数据类型对程序可靠性的实验评估下一步摘要信息和贡献者文献计量学和引文视图选项工具书类媒体桌子分享摘要CLU是一种新的编程语言,旨在支持在程序构造中使用抽象。编程方法学方面的工作使人们认识到,三种抽象(过程、控制,尤其是数据抽象)在编程过程中是有用的。其中,只有过程抽象通过过程或子例程被传统语言很好地支持。除了过程之外,CLU还提供了新的语言机制,支持数据和控制抽象的使用。本文介绍了CLU中的抽象机制。通过编程示例,我们说明了这三种抽象在程序构造中的实用性,并说明了如何编写CLU程序来使用和实现抽象。我们还讨论了CLU库,它允许增量程序开发,并在编译时执行完整的类型检查。 索引术语 CLU中的抽象机制软件及其工程软件符号和工具通用编程语言语言类型软件组织和属性软件系统结构抽象、建模和模块化 建议 CLU中的抽象机制 CLU是一种新的编程语言,旨在支持在程序构造中使用抽象。在编程方法学方面的工作使人们认识到,三种抽象——过程、控制,尤其是数据抽象——都是一种抽象。。。阅读更多信息CLU中的抽象机制ACM可靠软件语言设计会议记录 CLU是一种新的编程语言,旨在支持在程序构造中使用抽象。在编程方法学方面的工作使人们认识到三种抽象,过程、控制,尤其是数据抽象。。。阅读更多信息CLU中的抽象机制ACM可靠软件语言设计会议记录 CLU是一种新的编程语言,旨在支持在程序构造中使用抽象。在编程方法学方面的工作使人们认识到三种抽象,过程、控制,尤其是数据抽象。。。阅读更多信息 评论 Please enable JavaScript to view thecomments powered by Disqus. 信息和贡献者问询处发布于 ACM SIGSOFT软件工程说明 第2卷第2期ACM可靠软件语言设计会议记录1977年3月142页ISSN公司:0163-5948内政部:10.1145/390019编辑:大卫·B·沃特曼期刊目录ACM可靠软件语言设计会议记录1977年3月142页国际标准图书编号:9781450373807内政部:10.1145/800022编辑:大卫·B·沃特曼 版权所有©1977作者。出版商计算机协会美国纽约州纽约市出版历史出版:1977年3月1日发布于SIGSOFT体积2,问题2检查更新作者标记控件抽象数据抽象数据类型程序设计语言方案编制方法单独编译限定符第条贡献者 其他指标查看文章指标文献计量学和引文文献计量学 文章指标 39引文总数查看引文449总下载次数下载量(最近12个月)60下载次数(最近6周)7 其他指标查看作者指标引文视图选项查看选项 PDF格式以PDF文件查看或下载。PDF格式 电子阅读器使用联机查看电子阅读器.电子阅读器获取访问权限 登录选项检查您是否可以通过登录凭据或您的机构访问本文。登录完全访问权限获取此出版物 媒体数字其他桌子分享分享共享此出版物链接复制链接已复制!复制失败。在社交媒体上分享Linkedin公司Reddit网站电子邮件附属公司芭芭拉 利斯科夫马萨诸塞州剑桥市545技术广场麻省理工学院计算机科学实验室查看个人资料艾伦 斯奈德马萨诸塞州剑桥市545技术广场麻省理工学院计算机科学实验室查看个人资料拉塞尔 阿特金森马萨诸塞州剑桥市545技术广场麻省理工学院计算机科学实验室查看个人资料克雷格 沙弗特马萨诸塞州剑桥市545技术广场麻省理工学院计算机科学实验室查看个人资料