2024年8月28日
星期三
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
郑红军
作品数:
11
被引量:60
H指数: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年
该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法.这种方法把数据抽象的思想提高到语言抽象层次;把一类专用软件的规范抽象为语言的规范;把这类软件的实现抽象为语言的归约变换;用“规范+变换”抽象软件开发过程.为支持这种方法,提出了语言的一种抽象与封装机制Garment,以此定义语言中各成分的语法和语义,描述语言间的继承、屏蔽和扩充关系.最后,以语言知识库为核心,简要介绍了支持用Garment进行变换型开发的系统结构和工作流程.
张乃孝
郑红军
裘宗燕
关键词:
软件开发方法
一种带约束的多态类型系统
被引量:3
1999年
本文讨论了一种带约束的多态类型系统,引入了约束类型.约束与全称量化的结合使得参数化多态函数的应用更安全,同时也为重载的表示和实现提供了一个新的途径,提高了类型表示的抽象度本文讨论的类型系统具有两个不同层次的类型结构,约束的引入与消去是不同层次上的操作.最后,本文绘出了类型检查算法Wτ,并证明了此算法中约束的可满足性是可判定的.
郑红军
张乃孝
关键词:
程序设计语言
过程式语言的动态部分求值技术
被引量:2
1995年
提出了一种应用于过程式语言的动态部分求值技术,并实现了一个类如PASCAL语言的部分求值器。
刘磊
郑红军
金成植
关键词:
部分求值
过程式语言
源程序
PASCAL语言
语言的抽象与封装机制Garment的研究
郑红军
关键词:
程序设计语言
GARMENT
基于语法的元程序设计系统的自动生成技术
被引量:5
1994年
本文提出一种基于语法的元程序设计系统的自动生成技术,并开发了一个元程序设计系统的自动生成系统A-MPS(集成环境)。元程序设计系统是一种以程序作为操作对象的有效的程序设计工具,并具有广泛的应用。
刘磊
郑红军
金成植
关键词:
元程序
程序设计
自动生成
程序设计语言的抽象与语言族模型
被引量:2
1997年
程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念,在建立的语言之代数模型下,给出了程序设计语言间的3种关系:继承、扩充、屏蔽的语义,并提出了在这3种关系下构成的语言族模型。
张乃孝
郑红军
关键词:
程序设计语言
Garment中的归约语义
被引量:2
1998年
文中用代数方法研究了Garment中程序设计语言的归约语义,首先给出了归约语义在形式语言理论中的含义,然后提出了Garment中语言的代数模型.在此代数模型下讨论了归约语义及其性质,并给出了语言可归约的充分条件.
郑红军
张乃孝
关键词:
程序设计语言
软件开发中的形式化方法
被引量:36
1997年
1形式化方法 随着软件系统复杂度的不断增长,开发正确、可靠的软件,已成为一个巫解决的问题。形式化方法是解决此间题的一个有前途、有希望的技术,它建立在严格的数学基上。
郑红军
张乃孝
关键词:
软件开发
形式化方法
基于信息流分析的部分求值技术
被引量:8
1995年
循环展开是过程式语言部分求值中的难题之一.本文提出一种基于信息流分析的部分求值技术,解决了部分求值中循环展开问题.本文利用这一技术,实现了一个过程式语言的部分求值器.
刘磊
郑红军
金成植
关键词:
部分求值
信息流分析
软件自动生成
TP_SDDT的设计与实现
1995年
TP_SDDT是TurboPASCAL环境中一个有效的软件工具,凡是与语法有关的软件开发工作,如语法分析、无级操作和部分求值等,均可利用TP_SDDT来完成。本文介绍了TP_SDDT的设计思想及实现技术。TP_SDDT已在微机上实现。
郑红军
刘磊
金成植
关键词:
软件自动生成
程序设计
全选
清除
导出
共2页
<
1
2
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张