王良霖
- 作品数：4 被引量：1H指数：1
- 供职机构：厦门大学更多>>
- 发文基金：福建省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- G（？）del语言程序计算的可视化研究
- G(o|¨)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言,它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,集成了多种语言的有效成分和优点,引入了类型系统,增加了延迟计算...
- 王良霖
- 关键词：可视化XML
- 文献传递
- Gdel语言的一种并行推理模型
- 2008年
- 针对Gdel语言成分复杂,难以采用Prolog语言的并行推理策略,给出了基于该语言程序中间代码的并行推理模型,并对该并行模型的加速效果进行了分析,结果表明新提出的Gdel并行策略具有良好的加速比.
- 李玲赵致琢李松斌王良霖夏金存
- 关键词：GODEL语言中间代码
- Gdel程序推理过程的可视化
- 2008年
- 主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于用户静态分析Gdel程序;对Gdel语言程序的动态执行过程的可视化,能够使最终用户更好地理解Gdel语言程序的执行机制,调试并查找程序运行过程中可能出现的非预期的错误.
- 王良霖赵致琢李玲
- 关键词：GODEL语言PROLOG语言可视化
- Godel语言程序计算的可视化研究
- G(o)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言，它建立在多态多类的一阶逻辑基础之上，摒弃了Prolog语言中的非逻辑成分，集成了多种语言的有效成分和优点，引入了类型系统，增加了延迟计算，剪...
- 王良霖
- 关键词：GODEL语言逻辑语言可视化XML技术
- 文献传递
