2024年8月18日
星期日
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
宋立彤
作品数:
6
被引量:3
H指数:2
供职机构:
吉林大学计算机科学与技术学院
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
金成植
吉林大学计算机科学与技术学院
李航
吉林大学计算机科学与技术学院
田宏宇
吉林大学计算机科学与技术学院
魏仲慧
吉林大学
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
6篇
中文期刊文章
领域
6篇
自动化与计算...
主题
4篇
程序语言
3篇
PROLOG
2篇
函数式语言
1篇
语言
1篇
增量式
1篇
说明语言
1篇
逻辑程序
1篇
PROLOG...
1篇
ASL
1篇
LISP语言
1篇
并行性
1篇
并行性分析
1篇
部分求值
1篇
部分求值技术
机构
6篇
吉林大学
作者
6篇
金成植
6篇
宋立彤
1篇
李航
1篇
魏仲慧
1篇
田宏宇
传媒
3篇
吉林大学自然...
3篇
软件学报
年份
4篇
1996
1篇
1995
1篇
1994
共
6
条 记 录,以下是 1-6
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
LISP语言的增量式部分求值器
被引量:2
1996年
部分求值在软件优化中有着重要的作用,而增量式计算是避免重复计算的一种技术.本文基于部分求值和增量式计算的技术,实现了一个LISP语言的增量武部分求值器,使得函数例化尽量在前次已经产生的剩余程序的基础上进行,从而很好地提高了效率.
李航
宋立彤
金成植
关键词:
LISP语言
程序语言
一种函数式语言到PROLOG的转换技术
1996年
定义了函数式语言SFL,给出了由SFL到PROLOG的一般性转换方法,设计并实现了自动转换系统.
宋立彤
金成植
魏仲慧
关键词:
函数式语言
PROLOG
程序语言
代数规格说明语言ASL及到PROLOG的转换
1994年
本文讨论了代数规范说明技术及其到逻辑程序设计语言PROLOG的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ASL:然后介绍了由ASL描述的规格说明到PROLOG转换 的形式化方法;在这种方法的基础上设计了一个自动转换系统,该系统接受ASL语言描述的规格说明,通过转换规则,逐步将此规格说明转换成可执行的PROLOG语言程序。
宋立彤
金成植
关键词:
PROLOG语言
函数式语言的部分求值技术
被引量:3
1996年
本文基于抽象解释技术设计并实现了一函数式语言部分求值器FMIX.FMIX在设计方法和实现策略上具有一定独到之处,系统运行效率较高.
宋立彤
金成植
关键词:
部分求值
函数式语言
程序语言
PROLOG抽象分析及在并行性分析中的应用
1995年
深入研究了Prolog抽象分析,并将其应用到Prolog的并行化编译开发中.用这一技术开发出的模型是采用动静态结合的方式,它改进了DeGroot算法,在一定程度上避免了并行性的损失。这是一种动态开销小,并行性程度高,无需增加用户负担的新方法,利用Quin-tusProlog在Sun3/260上实现了一开发逻辑程序中与并行性的静态预编译系统。
宋立彤
田宏宇
金成植
关键词:
逻辑程序
高阶函数式语言到逻辑式语言的转换
1996年
本文给出高阶函数式语言到Prolog语言的一种转换技术.其中主要用到抽象闭包分析、Lambda提升、顺序化以及Prolog中的Cal技术.
宋立彤
金成植
王丹茹
关键词:
程序语言
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张