引用本文:陆汝占,韩启龙,林凯,奚宏伟,孙永强.方程式语言及其实现.软件学报,1992,3(2):21-28
【打印本页】   【下载PDF全文】   查看/发表评论  【EndNote】   【RefMan】   【BibTex】
←前一篇|后一篇→ 过刊浏览    高级检索
本文已被:浏览 4576次   下载 5546 本文二维码信息
码上扫一扫!
分享到: 微信 更多
方程式语言及其实现
陆汝占1,2, 韩启龙1,2, 林凯1,2, 奚宏伟1,2, 孙永强1,2
1.上海交通大学计算机系;200030
摘要:
方程式语言是一种新型智能语言。本文介绍该语言的一个实现系统,该系统是以方程逻辑为语义基础,模式匹配为执行机制,本文讨论了自底向上模式匹配方法及其改进,整个系统具有时间响应快、描述能力强的特点。
关键词:  
DOI:
分类号:
基金项目:国家自然科学基金、高科技基金资助.
EQUATIONAL PROGRAMMING LANGUAGE AND ITS IMPLEMENTATION
Lu Ruzhan,Han Qilong,Lin Kai;,Xi Hongwei,Sun Yongqiang
Abstract:
Equational Programming Language (EP) is a novel intelligence language. This paper describes our EP system based on equational logic. Its execution mechanism is pattern matching. The paper focuses the discussion on the improvement to bottom-up tree pattern matching. Our system has quick response time and strong descriptive power.
Key words:  

引用本文:
【打印本页】   【下载PDF全文】   查看/发表评论  【EndNote】   【RefMan】   【BibTex】
←前一篇|后一篇→ 过刊浏览    高级检索
本文已被:浏览次   下载  
分享到: 微信 更多
摘要:
关键词:  
DOI:
分类号:
基金项目:
Abstract:
Key words: