金成植
- 作品数：51 被引量：72H指数：4
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金吉林省科委基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种函数式语言到PROLOG的转换技术
- 1996年
- 定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统．
- 宋立彤金成植魏仲慧
- 关键词：函数式语言PROLOG程序语言
- 代数规格说明语言ASL及到PROLOG的转换
- 1994年
- 本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换 的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。
- 宋立彤金成植
- 关键词：PROLOG语言
- 函数式语言的部分求值技术被引量：3
- 1996年
- 本文基于抽象解释技术设计并实现了一函数式语言部分求值器ＦＭＩＸ．ＦＭＩＸ在设计方法和实现策略上具有一定独到之处，系统运行效率较高．
- 宋立彤金成植
- 关键词：部分求值函数式语言程序语言
- 基于移动Agent技术的逻辑虚拟主动网被引量：1
- 2005年
- 为满足用户对网络实施主动性并能依据人的逻辑思维或任务间的逻辑关系进行通信,提出了逻辑虚拟主动网LVANet(LogicalVirtualActiveNetwork)。LVANet是以移动Agent技术为基础,建立在现存的网络结构之上的用于反映任务间逻辑关系的一种网络。描述了LVANet的结构、特点及功能。采用移动Agent技术构建了LVANet的框架,给出了安全的主动包传送方案及安全访问控制方案。与传统虚拟主动网相比,LVANet灵活性强,消耗低,网络带宽可以节省3 8%,工作效率提高18%。
- 张丽翠王琳珠金成植
- 关键词：逻辑关系
- LISP语言的增量式部分求值器被引量：2
- 1996年
- 部分求值在软件优化中有着重要的作用，而增量式计算是避免重复计算的一种技术．本文基于部分求值和增量式计算的技术，实现了一个ＬＩＳＰ语言的增量武部分求值器，使得函数例化尽量在前次已经产生的剩余程序的基础上进行，从而很好地提高了效率．
- 李航宋立彤金成植
- 关键词：LISP语言程序语言
- Monad的一种自动生成技术被引量：2
- 2003年
- Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要重新构造;否则,需要重新构造.但如果在Monad程序设计环境中增加从一类Monad构造另一类Monad的自动生成器,那么既方便了用户也扩充了1倍原有的Monad库.鉴于这种思想,用支持Monad程序设计的高阶函数语言Haskell实现了一个Monad的自动生成系统.另外,用户构造Monad不仅要花费较多的时间,而且写出的Monad多态函数往往不满足Monad所需满足的几条公理,因此,从这方面也可以看出,从一种类型的Monad自动产生另一种类型的Monad的重要意义.
- 吕江花金成植
- 关键词：MONAD高阶函数
- 语法分析器的增量式生成技术
- 1995年
- 提出了一种语法分析器的增量式生成技术，该技术适用于自顶向下的语法分析方法：ＬＬ（１）方法和递归下降法，利用该技术，可以增量式生成语法分析器，从而提高语法分析器的生成效率。在微机上建立了一个语法分析器的增量式生成器。
- 刘磊袁琦金成植赵心文
- 关键词：语法分析器
- 面向扩展文法语义分析器的自动生成被引量：1
- 2005年
- 在扩展巴克斯范式(EBNF)Earley分析的基础上,提出一个语义分析器的自动生成算法,给出了一个带有语义动作的扩展文法和一个输入,即可生成其语义分析器.通过执行语义动作,就可以进行类型检查、中间代码生成及优化等相关工作,使得该算法成为完整的扩展文法分析技术,并在实际运用中成为可能.
- 王胜军郭德贵金成植
- 关键词：分析器
- 从like-LAMBDA抽象语言到like-PASCAL过程式语言的转换技术
- 1992年
- 本文定义一类型化的抽象语言like-LAMBDA,并以此为模型给出从以Lambda演算为基础的函数式抽象语言到like-PASCAL过程式语言的转换技术.
- 金成植柴玉梅
- 关键词：抽象语言过程式语言
- 基于服务链的Web服务组合方法被引量：21
- 2007年
- 以Web服务本体和领域本体为基础,采用服务轮廓的匹配算法,提出一种基于语义匹配的查找服务链的方法。使用这方法可以根据服务请求发现一个服务链,将这个服务链组合起来,可以满足请求者的需要。把本方法应用到一个具体的实例,说明本方法是怎样查找服务链的。
- 付燕宁刘磊金成植
- 关键词：WEB服务服务链
