您的位置： 专家智库 > >

宋立彤

作品数：6 被引量：3H指数：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语言程序语言
一种函数式语言到PROLOG的转换技术
1996年
定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统．
宋立彤金成植魏仲慧
关键词：函数式语言PROLOG程序语言
代数规格说明语言ASL及到PROLOG的转换
1994年
本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。
宋立彤金成植
关键词：PROLOG语言
函数式语言的部分求值技术被引量：3
1996年
本文基于抽象解释技术设计并实现了一函数式语言部分求值器ＦＭＩＸ．ＦＭＩＸ在设计方法和实现策略上具有一定独到之处，系统运行效率较高．
宋立彤金成植
关键词：部分求值函数式语言程序语言
PROLOG抽象分析及在并行性分析中的应用
1995年
深入研究了Ｐｒｏｌｏｇ抽象分析，并将其应用到Ｐｒｏｌｏｇ的并行化编译开发中．用这一技术开发出的模型是采用动静态结合的方式，它改进了ＤｅＧｒｏｏｔ算法，在一定程度上避免了并行性的损失。这是一种动态开销小，并行性程度高，无需增加用户负担的新方法，利用Ｑｕｉｎ－ｔｕｓＰｒｏｌｏｇ在Ｓｕｎ３／２６０上实现了一开发逻辑程序中与并行性的静态预编译系统。
宋立彤田宏宇金成植
关键词：逻辑程序
高阶函数式语言到逻辑式语言的转换
1996年
本文给出高阶函数式语言到Ｐｒｏｌｏｇ语言的一种转换技术．其中主要用到抽象闭包分析、Ｌａｍｂｄａ提升、顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌ技术．
宋立彤金成植王丹茹
关键词：程序语言
全选 清除 导出
共1页<1>
聚类工具0