Gdel语言对现代软件工程方法的支持  

作　　者：李松斌[1] 赵致琢[1] 李慧琪[1] 

机构地区：[1]厦门大学计算机科学系,福建厦门361000

出　　处：《计算机时代》2006年第11期1-3,共3页Computer Era

基　　金：厦门大学创新研究基金项目(Y07012);福建省自然科学基金项目(A0310007)

摘　　要：文章以一种新型的逻辑程序设计语言——G+del语言为例,对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨。G,del语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制,能够支持现代软件设计的一些主流方法。模块系统提供了组织大规模程序的方法,并通过结合类型系统实现了对抽象数据类型程序设计的支持,从而能够支持面向对象程序设计;延迟计算则使利用该语言所编制的软件在可重用性方面获得提升。

关 键 词：Goedel语言 软件开发方法 模块系统 类型系统 延迟计算 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]