期刊文献+

Gdel语言类型系统 被引量:3

Type system in programming language Gdel
下载PDF
导出
摘要 Gdel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。详细介绍了Gdel语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。 Goedel is a declarative logic programming language. It is based on first order logic with a polymorphic many-sorted type system. Having a strong declarative semantic Goedel can be used to realize abstract data types and programming in modules. The type system was introduced and the function of the type system in a logic programming language was discussed.
出处 《计算机工程与设计》 CSCD 北大核心 2005年第12期3432-3435,3438,共5页 Computer Engineering and Design
关键词 Goedel PROLOG 类型系统 多态多类 类型推理 goedel prolog type system polymorphicmany-sorted type deduction
  • 相关文献

参考文献7

  • 1陈睿,蔡希尧.基于类型系统的元数据模型[J].软件学报,1995,6(5):265-275. 被引量:4
  • 2Gunter C A. Semantics of programming languages:structures and techniques,Foundation of computer[M].USA:MIT Press, 1992.
  • 3Barendregt H. Problems in type theory[DB/OL].http://www. cs.kun.nl/-henk/papers.html.
  • 4Donahue J, Demers A. Data types are values[J]. ACM Trans on Programming Languages and Systems, 1985, 7(3):426-445.
  • 5Terrence W, Pratt Marvin, Zelkowitz V. Programming languages design and implementation[M].北京:电子工业出版社,1998.
  • 6蒋慧,张兴元,王元元,谢希仁.类型系统的构造、实现及其在程序设计语言中的应用[J].南京大学学报(自然科学版),2001,37(2):199-207. 被引量:3
  • 7Hill P M, Lloyd J W. The Godel programming language[M].USA: MIT Press, 1994.

二级参考文献6

  • 1蒋慧 张兴元 等.基于图重写系统的函数式语言Clean的类型系统[J].清华大学学报,1998,38(2):181-182.
  • 2蒋慧.Clean语言类型系统的实现(硕士研究生论文)[M].通信工程学院,1998..
  • 3陈睿,博士学位论文,1993年
  • 4Tan L,Deductive and Object-Oriented Databases,1990年
  • 5蒋慧,清华大学学报,1998年,38卷,181页
  • 6蒋慧,硕士研究生论文,1998年

共引文献4

同被引文献15

  • 1王啸澜,赵致琢,李慧琪.Prolog语言与Gdel语言中元程序设计方法的研究[J].厦门大学学报(自然科学版),2005,44(B06):247-250. 被引量:1
  • 2李松斌,赵致琢,李慧琪.Gdel语言对现代软件工程方法的支持[J].计算机时代,2006(11):1-3. 被引量:1
  • 3Volpe P.A first-order language for expressing sharing and type properties of logic programs[J].Science of Computer Programming,2001,39(1):125-148.
  • 4Fox C,Lappin S.An expressive first-order logic with flexible typing for natural language semantics[J].Logic Journal of the Interest Group in Pure and Applied Logics,2003,12(2):135-168.
  • 5Kifer M,Wu J.A first-order theory of types and polymorphism in logic programming[D].Department of Computer Science of University at Stony Brook,1990.
  • 6Dart P W,Zobel J.A regular type language for logic programs[M].USA:MIT Press,1992:157-189.
  • 7Lu Lunjin.A precise type analysis of logic programs[C]//Proceedings of the 2nd ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming,Montreal,Quebec,Canada,2000.
  • 8Djang R,Burnett M M,Chen R D.Static type inference for a first-order declarative[J].Journal of Visual Languages and Computing,2000,1:191-235.
  • 9Dart P W,Zobel J.Efficient run-time type checking of typed logic programs[J].Journal of Logic Programming,1992,14(1/2):31-69.
  • 10Bruynonghe M.Adding redundancy to obtain more reliable and more readable prolog programs[C]//Proceedings of the 1st International Logic Programming Conference,Marseille,France,1982:129-133.

引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部