郑红军

作品数：10被引量：46H指数：3
导出分析报告
供职机构：北京大学数学科学学院信息科学系更多>>
发文主题：程序设计语言GARMENT部分求值技术部分求值软件自动生成更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《小型微型计算机系统》《北京大学学报（自然科学版）》《计算机研究与发展》《软件学报》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种带约束的多态类型系统被引量：3
《计算机学报》1999年第4期343-350,共8页郑红军 张乃孝 
本文讨论了一种带约束的多态类型系统，引入了约束类型．约束与全称量化的结合使得参数化多态函数的应用更安全，同时也为重载的表示和实现提供了一个新的途径，提高了类型表示的抽象度本文讨论的类型系统具有两个不同层次的类型结构，...
关键词：约束类型 类型检查 多态类型系统 程序设计语言 
语言的抽象、封装与变换型开发方法被引量：4
《软件学报》1998年第7期496-500,共5页张乃孝 郑红军 裘宗燕 
国家自然科学基金
该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法．这种方法把数据抽象的思想提高到语言抽象层次；把一类专用软件的规范抽象为语言的规范；把这类软件的实现抽象为语言的归约变换；用“规范＋变换”抽象软件开发过...
关键词：变换型方法 语言抽象 语言封装 软件开发方法 
Garment中的归约语义被引量：2
《计算机研究与发展》1998年第6期486-490,共5页郑红军 张乃孝 
国家自然科学基金
文中用代数方法研究了Ｇａｒｍｅｎｔ中程序设计语言的归约语义，首先给出了归约语义在形式语言理论中的含义，然后提出了Ｇａｒｍｅｎｔ中语言的代数模型．在此代数模型下讨论了归约语义及其性质，并给出了语言可归约的充分条件．
关键词：Grament 程序设计语言 归约语义 
Garment中多态类型的Ideal模型被引量：1
《软件学报》1998年第3期194-199,共6页郑红军 张乃孝 
国家自然科学基金
本文从Ｉｄｅａｌ的基本概念出发，研究了Ｉｄｅａｌ作为类型的语义模型所具有的性质．在类型的Ｉｄｅａｌ模型下，讨论了Ｇａｒｍｅｎｔ中参数化多态类型和约束多态类型的语义．并在此基础上，证明了Ｇａｒｍｅｎｔ中类型规则的语义可...
关键词：多态类型 GARMENT IDEAL模型 程序语言 
程序设计语言的抽象与语言族模型被引量：2
《北京大学学报（自然科学版）》1997年第5期650-657,共8页张乃孝 郑红军 
国家自然科学基金;国家863计划资助
程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念，在建立的语言之代数模型下，给出了程序设计语言间的３种关系：继承、扩充、屏蔽的语义，并提出了在这３种关系下构成的语言族模型。
关键词：程序设计语言 语言抽象 语言族模型 
软件开发中的形式化方法被引量：23
《计算机科学》1997年第6期90-96,共7页郑红军 张乃孝 
国家自然科学基金;863-306项目资助
1形式化方法 随着软件系统复杂度的不断增长,开发正确、可靠的软件,已成为一个巫解决的问题。形式化方法是解决此间题的一个有前途、有希望的技术,它建立在严格的数学基上。
关键词：软件开发 形式化方法 需求分析 
过程式语言的动态部分求值技术被引量：2
《吉林大学自然科学学报》1995年第3期35-39,共5页刘磊 郑红军 金成植 
提出了一种应用于过程式语言的动态部分求值技术，并实现了一个类如ＰＡＳＣＡＬ语言的部分求值器。
关键词：部分求值 过程式语言 源程序 PASCAL语言 
基于信息流分析的部分求值技术被引量：8
《软件学报》1995年第8期509-513,共5页刘磊 郑红军 金成植 
循环展开是过程式语言部分求值中的难题之一．本文提出一种基于信息流分析的部分求值技术，解决了部分求值中循环展开问题．本文利用这一技术，实现了一个过程式语言的部分求值器．
关键词：部分求值 信息流分析 程序优化 软件自动生成 
TP_SDDT的设计与实现
《计算机研究与发展》1995年第1期33-36,共4页郑红军 刘磊 金成植 
ＴＰ_ＳＤＤＴ是ＴｕｒｂｏＰＡＳＣＡＬ环境中一个有效的软件工具，凡是与语法有关的软件开发工作，如语法分析、无级操作和部分求值等，均可利用ＴＰ_ＳＤＤＴ来完成。本文介绍了ＴＰ_ＳＤＤＴ的设计思想及实现技术。ＴＰ_ＳＤＤＴ已...
关键词：软件自动生成 软件工具 TP_SDDT 程序设计 
基于语法的元程序设计系统的自动生成技术被引量：5
《小型微型计算机系统》1994年第2期11-15,共5页刘磊 郑红军 金成植 
国家自然科学基金
本文提出一种基于语法的元程序设计系统的自动生成技术，并开发了一个元程序设计系统的自动生成系统Ａ－ＭＰＳ（集成环境）。元程序设计系统是一种以程序作为操作对象的有效的程序设计工具，并具有广泛的应用。
关键词：元程序 程序设计 自动生成 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部