程序变换在程序语言中的一种表示：兼论变换型语言

张乃孝

首页> 中文期刊> 《软件学报》 >程序变换在程序语言中的一种表示：兼论变换型语言

程序变换在程序语言中的一种表示：兼论变换型语言

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

cqvip:本文首先引入了“变换型语言”的概念,给出了代表这种语言特征的机制:“变换模块”和“变换控制命令”的具体定义;举例说明了如何使用“变换模块”描述一个抽象数据类型的部分实现,并通过“变换控制命令”来完成程序中抽象变量及有关操作的变换过程;最后,讨论了变换型语言表示的抽象性,一般性和控制的灵活性,以及变换型程序的正确性等问题。

著录项

来源
《软件学报》 |1993年第5期|17-23|共7页
作者
张乃孝;
展开▼
作者单位

无;

展开▼
原文格式 PDF
正文语种 CHI
中图分类程序语言、算法语言;
关键词
程序语言; 变换型语言;

相似文献

中文文献
外文文献
专利

1. 程序语言中共归纳数据类型的一种fibrations方法 [J] . 苗德成 ,奚建清 ,戴经国 . 计算机科学 . 2016,第003期
2. 一种基于程序语言的移动计算安全模型 [J] . 余万涛 ,胡光锐 . 计算机工程 . 2006,第012期
3. 一种C程序语言的固化 [J] . 方红 . 计算机技术 . 1997,第009期
4. 质量互变定理的两种表示——兼论集对分析中介不确定性 [J] . 陈守煜 . 辽宁工程技术大学学报：自然科学版 . 2010,第5期
5. FORTRAN语言到C语言程序变换系统的设计与实现 [J] . 赵政文 . 微电子学与计算机 . 1991,第12期
6. 一种PLC程序语言指称语义及函数的形式化定义方法 [C] . 肖力田 ,顾明 ,孙家广 . 2011年中国智能自动化会议 . 2011
7. 基于深度学习和程序语言处理的漏洞挖掘技术研究 [A] . 冯翰滔 . 2020

程序变换在程序语言中的一种表示：兼论变换型语言

摘要

著录项

相似文献

相关主题

期刊订阅