QQ客服 官方微博 反馈留言

题名	逻辑程序设计语言Gödel的形式化过程性语义; The Formalized Procedural Semantic of Logic Programming Language Gödel
作者	昌杰
答辩日期	2009 ; 2009
导师	赵致琢
关键词	Gö del语言 过程性语义 类型系统 Programming Language Gö del Procedual Semantic Type System
英文摘要	Gödel语言是继Prolog语言之后出现的逻辑程序设计语言，它建立在多态多类的一阶逻辑基础之上，摒弃了Prolog语言中的非逻辑成分，集成了许多语言的有效成分和优点，引入了类型系统，这使得它成为一种高效的说明性逻辑程序设计语言。然而，时至今日，Gödel语言编译系统的开发研究仍然进展缓慢，主要原因是多态多类的类型系统、模块化结构、延迟计算、剪枝操作等多种新语言成分和机制的引入，使逻辑程序设计语言Gödel的复杂程度大大提高，而面向过程程序设计语言的编译方法和技术完全不同于具有递归性、说明性特点的逻辑程序设计语言，先前关于Prolog语言的编译方法和技术不能简单移...; Gödel is a declarative logic programming language succeeded to Prolog. It is based on many-sorted first order logic with parametric polymorphism, discards the features of Prolog which are non-logical, introduces type system, integrates the merit of many languages, adds some new language components which let it be efficient declarative programming language. However, the complexity of Göde...; 学位：工学硕士; 院系专业：信息科学与技术学院计算机科学系_计算机软件与理论; 学号：23020061152431
语种	zh_CN
出处	http://210.34.4.13:8080/lunwen/detail.asp?serial=22031
内容类型	学位论文
源URL	[http://dspace.xmu.edu.cn/handle/2288/50998]
专题	信息技术－学位论文
推荐引用方式 GB/T 7714	昌杰. 逻辑程序设计语言Gödel的形式化过程性语义, The Formalized Procedural Semantic of Logic Programming Language Gödel[D]. 2009, 2009.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。