GÖdel语言对现代软件工程方法的支持
摘 要:文章以一种新型的逻辑程序设计语言——GÖdel语言为例,对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨。GÖdel语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制,能够支持现代软件设计的一些主流方法。模块系统提供了组织大规模程序的方法,并通过结合类型系统实现了对抽象数据类型程序设计的支持,从而能够支持面向对象程序设计;延迟计算则使利用该语言所编制的软件在可重用性方面获得提升。
关键词:GÖdel语言;软件开发方法;模块系统;类型系统;延迟计算
最新推荐New Ranking
企业演讲稿范文大全第1篇各位领导,各位同事,大家好:我叫是“为员工点个赞”!今日我很激动,因为我...
2聘用合同范本大全19篇聘用合同范本大全第1篇甲方(聘用单位):住所:乙方(受聘人):住所:身份证号码:甲、乙双方根据《中华...
3结婚纪念日感言大全12篇结婚纪念日感言大全第1、每一年的结婚纪念日,我都会感谢你,给我这份节日的权利,给你带来幸福和感动...
42023年小学二年级作文评语8篇小学二年级作文评语第1、朴实自然的童心体现在文中,使文章散发着清新活泼的气息。2、这篇文章以具体...
5小组评语大全10篇小组评语大全第1篇该同学在实习期间一贯积极主动,认真学习业务知识,在很短的时间里就掌握了工作的要...
62023年度工厂岗位职责大全工厂岗位职责大全第1篇保证生产工艺满足工厂内生产的正常运行。进行工艺改进,实施工艺规程及ODS的标...
72023年度对员工评语大全(2023年)对员工评语大全第1 工作认真刻苦,服务态度非常好,使经理在xxx的时候没有后顾之忧;工作积极,热情周...
8小学六年级评语大全17篇(全文完整)小学六年级评语大全第1、这学期,你的胆子大了,声音亮了,课堂回答问题的小手举得高了,这是多好的现...
92023年学生个人总结范本大全11篇(全文)学生个人总结范文大全第1篇在思想方面,首先我端正了学习态度,认识到大学仍需付出极大的努力用功学习...
10保险承诺书范本大全(完整)保险承诺书范文大全第1篇保险公司目标承诺书篇一:我是,请大家为我见证:作为团队的一名营销主管,我...