您的位置： 专家智库 > >

袁琦

作品数：12 被引量：11H指数：3
供职机构：吉林大学更多>>
发文基金：吉林省科委基金国家自然科学基金更多>>
相关领域：自动化与计算机技术医药卫生理学更多>>

合作作者

文献类型

  • 8篇期刊文章
  • 4篇学位论文

领域

  • 10篇自动化与计算...
  • 1篇医药卫生
  • 1篇理学

主题

  • 5篇面向对象
  • 3篇函数式语言
  • 2篇语法分析
  • 2篇C++
  • 2篇部分求值
  • 2篇程序设计
  • 2篇MONAD
  • 1篇信息流
  • 1篇信息流分析
  • 1篇乙肝
  • 1篇乙肝病毒
  • 1篇乙肝相关
  • 1篇乙肝相关性
  • 1篇乙肝相关性肾...
  • 1篇语法分析器
  • 1篇元程序
  • 1篇元程序设计
  • 1篇增量式
  • 1篇制剂治疗
  • 1篇软件逆向工程

机构

  • 12篇吉林大学

作者

  • 12篇袁琦
  • 7篇刘磊
  • 5篇金成植
  • 4篇张长海
  • 1篇赵心文

传媒

  • 4篇吉林大学自然...
  • 2篇计算机研究与...
  • 2篇小型微型计算...

年份

  • 1篇2013
  • 3篇2000
  • 1篇1999
  • 4篇1997
  • 2篇1996
  • 1篇1995
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
Monad理论及其应用研究
该文针对Monad理论方法探讨了Monad本身的一些理论问题同时也讨论了Monad这一理论模型在软件技术中的一些重要应用.在Monad理论方面,该文给出了异型Monad系统之间的转移方法,它对于得用Monad方法进行程序...
袁琦
关键词：MONAD过程式语言函数式语言程序设计
文献传递
最优合并算法及证明
1997年
提出一种有条件的最佳状态合并算法，并给出证明．
张长海袁琦刘磊
关键词：语法分析部分求值无向图
基于信息流分析的程序分析技术被引量：2
1997年
程序分析在软件开发及软件维护等方面有着重要的作用．文中提出了一种基于信息流分析的程序分析技术．利用这一技术，可以有效地分析程序中各变量的性质以及它们对程序的影响．
刘磊袁琦金成植
关键词：信息流
Monad表示的OO程序自动生成被引量：3
2000年
Monad的研究，目前集中在函数语言领域，且主要研究本身的内部形式和性质等问题，而对Monad与实际程序设计语言之间的关系，以及如何用Monad具体构造程序，如何将Monad应用于软件形式化等方面研究得甚少．探讨了Monad技术与OO技术之间的关系，主要研究Monad与Class之间的关系，并给出从Monad到Class（C＋＋）的一种转换方法．
袁琦金成植
关键词：MONADCLASS面向对象程序自动生成
面向对象的函数式语言OOFL到C++的转换
该文以面向对象的函数式语言OOFL为模型研究了带有面向对象机制的函数式语言的实现方法,文中详细给出了模型语法OOFL的语言及语入定义并深义讨论了该语言到C++的转换系统中涉及的各种技术,如类型推导等,这些技术可适用于实现...
袁琦
关键词：函数式语言
实用元程序设计技术
1997年
给出了一种应用于微机的实用元程序设计技术，并利用这一技术在微机上成功的开发了一个元程序设计系统．
张长海袁琦刘磊
关键词：元程序设计程序设计
基于类跟踪的程序分析技术
2000年
本文基于信息流分析技术 ,提出了对对象式语言进行程序分析的类跟踪技术和类跟踪的实现方法 ,并基于此技术给出了一种针对对象式语言程序的程序分析和程序分片方法 ,对于程序分析和程序理解及程序文档化具有一定意义 .
袁琦刘磊金成植
关键词：软件逆向工程面向对象
抗乙肝病毒治疗与抗乙肝病毒联合应用免疫抑制剂治疗乙肝相关肾炎的临床观察
中国是病毒性肝炎的高发区,尤其是乙型病毒性肝炎。我国的慢性无症状乙型肝炎病毒(HBV)携带者可能超过1.2亿。乙型肝炎病毒相关性肾小球肾炎指是指由乙型肝炎病毒直接或间接诱发的一种免疫复合物性肾小球疾病，但其发病机制复杂，...
袁琦
关键词：乙肝相关性肾炎免疫抑制剂拉米夫定
文献传递
面向对象的函数式语言及其实现技术
1997年
ＯＯＦＬ是我们设计的一种面向对象的函数式语言，该语言具有对象式语言和函数式语言的优点。本文详细介绍了ＯＯＦＬ到Ｃ＋＋的转换技术，构造了ＯＯＦＬ语言的元程序设计环境，探讨了对象函数式语言的一些实现方法。
刘磊袁琦张长海金成植
关键词：面向对象函数式语言
动静态结合的部分求值技术
1999年
提出一种应用于过程式语言的动静态结合的部分求值技术，并给出该方法的形式描述．采用该方法，实现一个实验性的部分求值系统．
袁琦张长海刘磊张宗来
关键词：部分求值软件自动化
全选 清除 导出
共2页<12>
聚类工具0