您的位置： 专家智库 > >

郑红军

作品数：11 被引量：61H指数：4
供职机构：北京大学数学科学学院信息科学系更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 10篇期刊文章
  • 1篇学位论文

领域

  • 11篇自动化与计算...

主题

  • 6篇程序设计
  • 4篇设计语言
  • 4篇程序设计语言
  • 3篇自动生成
  • 3篇GARMEN...
  • 2篇语言
  • 2篇软件开发
  • 2篇软件自动生成
  • 2篇封装
  • 2篇部分求值
  • 2篇部分求值技术
  • 1篇信息流分析
  • 1篇形式化
  • 1篇形式化方法
  • 1篇元程序
  • 1篇源程序
  • 1篇软件开发方法
  • 1篇装机
  • 1篇自动生成技术
  • 1篇开发方法

机构

  • 8篇北京大学
  • 3篇吉林大学

作者

  • 11篇郑红军
  • 6篇张乃孝
  • 4篇刘磊
  • 4篇金成植
  • 1篇裘宗燕

传媒

  • 3篇软件学报
  • 2篇计算机研究与...
  • 1篇吉林大学自然...
  • 1篇北京大学学报...
  • 1篇计算机学报
  • 1篇小型微型计算...
  • 1篇计算机科学

年份

  • 1篇1999
  • 3篇1998
  • 3篇1997
  • 3篇1995
  • 1篇1994
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
语言的抽象、封装与变换型开发方法被引量：5
1998年
该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法．这种方法把数据抽象的思想提高到语言抽象层次；把一类专用软件的规范抽象为语言的规范；把这类软件的实现抽象为语言的归约变换；用“规范＋变换”抽象软件开发过程．为支持这种方法，提出了语言的一种抽象与封装机制Ｇａｒｍｅｎｔ，以此定义语言中各成分的语法和语义，描述语言间的继承、屏蔽和扩充关系．最后，以语言知识库为核心，简要介绍了支持用Ｇａｒｍｅｎｔ进行变换型开发的系统结构和工作流程．
张乃孝郑红军裘宗燕
关键词：软件开发方法
一种带约束的多态类型系统被引量：3
1999年
本文讨论了一种带约束的多态类型系统，引入了约束类型．约束与全称量化的结合使得参数化多态函数的应用更安全，同时也为重载的表示和实现提供了一个新的途径，提高了类型表示的抽象度本文讨论的类型系统具有两个不同层次的类型结构，约束的引入与消去是不同层次上的操作．最后，本文绘出了类型检查算法Wτ，并证明了此算法中约束的可满足性是可判定的．
郑红军张乃孝
关键词：程序设计语言
过程式语言的动态部分求值技术被引量：2
1995年
提出了一种应用于过程式语言的动态部分求值技术，并实现了一个类如ＰＡＳＣＡＬ语言的部分求值器。
刘磊郑红军金成植
关键词：部分求值过程式语言源程序PASCAL语言
语言的抽象与封装机制Garment的研究
郑红军
关键词：程序设计语言GARMENT
基于语法的元程序设计系统的自动生成技术被引量：5
1994年
本文提出一种基于语法的元程序设计系统的自动生成技术，并开发了一个元程序设计系统的自动生成系统Ａ－ＭＰＳ（集成环境）。元程序设计系统是一种以程序作为操作对象的有效的程序设计工具，并具有广泛的应用。
刘磊郑红军金成植
关键词：元程序程序设计自动生成
程序设计语言的抽象与语言族模型被引量：2
1997年
程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念，在建立的语言之代数模型下，给出了程序设计语言间的３种关系：继承、扩充、屏蔽的语义，并提出了在这３种关系下构成的语言族模型。
张乃孝郑红军
关键词：程序设计语言
Garment中的归约语义被引量：2
1998年
文中用代数方法研究了Ｇａｒｍｅｎｔ中程序设计语言的归约语义，首先给出了归约语义在形式语言理论中的含义，然后提出了Ｇａｒｍｅｎｔ中语言的代数模型．在此代数模型下讨论了归约语义及其性质，并给出了语言可归约的充分条件．
郑红军张乃孝
关键词：程序设计语言
软件开发中的形式化方法被引量：37
1997年
1形式化方法 随着软件系统复杂度的不断增长,开发正确、可靠的软件,已成为一个巫解决的问题。形式化方法是解决此间题的一个有前途、有希望的技术,它建立在严格的数学基上。
郑红军张乃孝
关键词：软件开发形式化方法
基于信息流分析的部分求值技术被引量：8
1995年
循环展开是过程式语言部分求值中的难题之一．本文提出一种基于信息流分析的部分求值技术，解决了部分求值中循环展开问题．本文利用这一技术，实现了一个过程式语言的部分求值器．
刘磊郑红军金成植
关键词：部分求值信息流分析软件自动生成
TP_SDDT的设计与实现
1995年
ＴＰ_ＳＤＤＴ是ＴｕｒｂｏＰＡＳＣＡＬ环境中一个有效的软件工具，凡是与语法有关的软件开发工作，如语法分析、无级操作和部分求值等，均可利用ＴＰ_ＳＤＤＴ来完成。本文介绍了ＴＰ_ＳＤＤＴ的设计思想及实现技术。ＴＰ_ＳＤＤＴ已在微机上实现。
郑红军刘磊金成植
关键词：软件自动生成程序设计
全选 清除 导出
共2页<12>
聚类工具0