| 题名 | Gödel语言编译系统设计; Design for the Compiler of Gödel Language |
| 作者 | 林永鹏 |
| 答辩日期 | 2010 ; 2010 |
| 导师 | 赵致琢 |
| 关键词 | Gö del语言 编译系统 G-Warren抽象机 Gö del Language Compiler system G-Warren |
| 英文摘要 | Gödel语言是继Prolog之后出现的一种新型通用逻辑程序设计语言，它摒弃了Prolog中的非逻辑成分，试图解决Prolog中存在的语义问题，增加了基于一阶逻辑的参数型多态多类的类型系统，引入了延迟计算等新语言成分，具有灵活的计算规则和剪枝操作，并以系统模块形式提供丰富的抽象数据类型支持通用程序设计。虽然Gödel在新型逻辑程序设计方面取得了新的突破，但自推出以来一直发展缓慢。除了设计者J.W.Lloyd因年迈退休的原因外，Gödel语言自身的复杂性和缺乏语义理论基础，影响了该语言编译系统的实现和推广。迄今为止，世界上还没有一个比较完整的Gödel语言...; Gödel is a declarative and general-purpose logic programming language succeeded to Prolog. It discards the features of Prolog which are non-logic, trying to solve semantic problems with the Prolog. It is a strongly typed language, the type system being based on many-sorted logic with parametric polymorphism. It has a flexible computation rule and a pruning operator which generalizes the commi...; 学位：工学硕士; 院系专业：信息科学与技术学院计算机科学系_计算机软件与理论; 学号：23020071151277 |
| 语种 | zh_CN |
| 出处 | http://210.34.4.13:8080/lunwen/detail.asp?serial=25539 |
| 内容类型 | 学位论文 |
| 源URL | [http://dspace.xmu.edu.cn/handle/2288/51064]  |
| 专题 | 信息技术－学位论文 |
| 推荐引用方式 GB/T 7714 | 林永鹏. Gödel语言编译系统设计, Design for the Compiler of Gödel Language[D]. 2010, 2010. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论