| 题名 | Gödel语言操作语义描述方法研究; Research on the Operational Semantics of Logic Programming Language Gödel |
| 作者 | 曹炳义 |
| 答辩日期 | 2012 ; 2012 |
| 导师 | 赵致琢 |
| 关键词 | 操作语义 Gö del抽象机 进化代数 Operational Semantics Gö del Abstract Machine Evolving Algebra |
| 英文摘要 | Gödel语言是继Prolog之后出现的一种新型通用逻辑程序设计语言，它具有一个多态多类的类型系统、有灵活的计算规则和剪枝操作、支持模块化程序设计，因此相对与Prolog语言具有明显的优势。但是它从推出起一直发展缓慢得不到广泛应用，究其主要原因一方面是因为没有一个成熟的编译器来支持它的应用。最初的Gödel编译器BristolGödel因采用SICStusProlog实现而效率较低且无法完全实现Gödel的语言功能，至今停留在实验室阶段。另一方面，Gödel语言的各种语言成分在增强它的表达能力的同时带来了复杂性，这对如何建立合适的语义理论基础提...; Gödel is a declarative and general-purposed logic programming language succeed to Prolog. It has a many-sorted type system with parametric polymorphism, a flexible computation rule and pruning operator, and it supports for modular programming. So it has some obvious advantages compared to Prolog. But it was seen a slow development from its appearance. The main reasons are: firstly, it has no ...; 学位：工学硕士; 院系专业：信息科学与技术学院计算机科学系_计算机软件与理论; 学号：23020091152708 |
| 语种 | zh_CN |
| 出处 | http://210.34.4.13:8080/lunwen/detail.asp?serial=34801 |
| 内容类型 | 学位论文 |
| 源URL | [http://dspace.xmu.edu.cn/handle/2288/51000]  |
| 专题 | 信息技术－学位论文 |
| 推荐引用方式 GB/T 7714 | 曹炳义. Gödel语言操作语义描述方法研究, Research on the Operational Semantics of Logic Programming Language Gödel[D]. 2012, 2012. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论