作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

一种面向软件工程的时序逻辑语言  CNKI文献

XYZ系统由时序逻辑语言XYZ/E及一组基于该语言的CASE工具集组成.XYZ/E语言的目的是欲使逐步求精,描述及验证、快速原型等一些软件工程方法更加有效.特别地,它还能表示实时通信进程中的动态成分....

唐稚松 赵琛 《软件学报》 1994年12期 期刊

关键词: 时序逻辑语言 / 一阶逻辑 / 描述 / 验证

下载(246)| 被引(41)

XYZ系统的目的、意义、作用与应用  CNKI文献

XYZ系统是一个基于线性时序逻辑的软件工程系统,由中国科学院软件研究所经过15年的时间设计并实现.它被用于解决某些高技术工程领域的问题.文章介绍了这个系统的目的、意义、作用和应用.

唐稚松 《软件学报》 1999年04期 期刊

关键词: 时序逻辑语言 / 状态转换 / 动态语义 / 静态语义

下载(177)| 被引(18)

XYZ系统的设计思想  CNKI文献

§1.引 言 本文系根据作者应邀在1989年6月14日日本情报产业协会(JISA)与软件工程学会(SEA)联合举办的1989年软件年会(Software Symposium’89)上所作的题为“XYZ环境”基调讲演中部分内容整理扩充而成。因该会议...

唐稚松 《软件学报》 1990年01期 期刊

关键词: 时序逻辑语言 / 编译技术 / XYZ / 属性文法

下载(109)| 被引(14)

LBLR(K)文法与文法分划  CNKI文献

本文介绍一种二级文法,它是我们构造的一个语法分解自动生成系统XYZ/PG的理论基础。我们认为,由顶向下的递归子程序方法分块太细,而由底向上的语法分解程序由一整块构成又失之分块太粗,二者均不便于阅读和修改。在第二...

唐稚松 《计算机学报》 1980年01期 期刊

关键词: 优先文法 / 依赖图 / 生成系统 / 非终结符

下载(26)| 被引(14)

LR(K)的语法分解与FPL程序的优化  CNKI文献

LR(K)文法是一具有以下优点的形式文法:受限制小;查错功能强;翻译速度快;便于机械生成.但不足之处是:状态多,颇费存贮;且其表示方法不便于阅读,亦不便于插入语义子程序. FPL(Floyd-Evans Production Language)是一种适...

唐稚松 《数学学报》 1978年01期 期刊

关键词: FPL / 充要条件 / 唐稚松

下载(23)| 被引(10)

XYZ公共基础语言  CNKI文献

1.引言为什么提出结构程序设计思想?其客观背景是由于系统程序(特别是操作系统)日益发展,使计算机上配置的程序系统不断增大.造价不断增高。这样一方面使出错率增

唐稚松 何天牧... 《计算机科学》 1980年02期 期刊

关键词: 子程序 / XYZ / 存贮单元 / 实在参数

下载(28)| 被引(6)

适应于多种程序设计方式的程序发展环境  CNKI文献

一、前言 Ada语言的问世标志着结构程序设计时期的结束。当前程序界一个普遍关心的问题是:“Ada以后”的程序领域,主要思潮将是什么?其基本特征将是怎样的? 我认为,程序自动化的研究可以分为三个阶段: 第一阶段是高级...

唐稚松 《计算机研究与发展》 1982年11期 期刊

关键词: 定义性出现 / 复合语句 / 时序逻辑语言 / 框图语言

下载(22)| 被引(5)

汉字输入与高级语言  CNKI文献

本文旨在提出一种在高级语言的加工环境中进行汉字输入的方法。它不要求特殊的输入设备并可脱机输入;也不要求按键人员熟记生疏的规则;它不需要固定一种按键方式;它可作为任何容许出现汉字的高级语言的予先加工程序,为...

唐稚松 王建新 《计算机学报》 1978年01期 期刊

关键词: 内部码 / 高级语言 / 压缩字典 / 正式文本

下载(26)| 被引(5)

论指命系统的递归性  CNKI文献

本文主要目的之一是:试图应用能行性理论作为工具对数字计算机上的几组指令系统的递归性进行讨论.其中,特别注意到条件转移指令及重复指令的作用.在§2中讨论的是一组具有原始递归性的指令系统,在§3中则讨论...

唐稚松 《数学学报》 1965年06期 期刊

关键词: 多带图灵机 / 唐稚松 / 指令系统 / 原始递归函数

下载(44)| 被引(2)

软件工程研究中的语言问题  CNKI文献

语言是一种表示知识(思想)的符号系统。显然,语言只有通过表示知识(思想)来与客观实在(世界)发生联系,而不是直接联系。语言的理论问题有三个方面:一是讨论由符号如何组成语言中的合式公式,这是符号间的关系...

唐稚松 《哲学研究》 1995年04期 期刊

关键词: 符号系统 / 神秘主义 / 不可知论 / 客观实在

下载(80)| 被引(0)

程序技术研究三十年  CNKI文献

§1前言自五十年代末期,Backus完成Fortran的编译系统以来,程序技术的研究已有三十年的历史了.三十年来,计算机硬软件技术都有了很大的发展和变化,但仍有些带根本性的目标与问题并没有完全解决,或者说变化不大.如...

唐稚松 《计算机科学》 1988年03期 期刊

关键词: 算法程序 / 程序语言 / Prolog / 形式化方法

下载(39)| 被引(1)

我国软件产业发展中几个问题  CNKI文献

我国软件产业发展中几个问题ProblemsintheDevelopmentofChina'sSoftWareIndustry¥//唐稚松(中国科学院软件研究所,北京100080)长期以来,国内外专家均...

唐稚松 《科技导报》 1995年04期 期刊

关键词: 中国科学院软件研究所 / 唐稚松 / 批量生产 / 几个问题

下载(31)| 被引(2)

功能描述导引的程序综合  CNKI文献

本文介绍一种从一程序的入口和出口断言中所含逻辑常量出现的情况,推断该程序的逻辑结构,再加上人的参与综合出该程序的方法。这方法的出发点与Dijkstra的“最弱前置条件程序推导”的基本思想颇为相近,但我们着重讨论...

唐稚松 林惠民 《计算机研究与发展》 1983年08期 期刊

关键词: 存在量词 / 析取词 / Dijkstra / 最弱前置条件

下载(32)| 被引(1)

关于汉字输入问题  CNKI文献

一、问题近年来,许多人在寻找一种计算机上输入和输出汉字的好方法。在我看来,对这个问题也同时有不少混乱的认识在流行。这可能是对这个问题有误解所致。人们常常容易把汉字输入输出想成是常见符号输入输出的一种简单...

唐稚松 《计算机研究与发展》 1983年09期 期刊

关键词: 汉字输入 / 信息加工 / COBOL

下载(27)| 被引(2)

2-LEVEL FORMAL SEMANTICS AND SEMANTICS-DIRECTED COMPIL...  CNKI文献

This paper proposes a method to formalize semantics. It makes the formal semantics more harmonious with compilation. This method is established on the basis of a temporal logic language, which is, on...

唐稚松 郑茂松... 《Science in China,Ser.A》 1985年09期 期刊

关键词: LEVEL / FORMAL / SEMANTICS / AND

下载(25)| 被引(0)

二级形式语义与语义导引编译  CNKI文献

本文给出了一种形式语义方法,它能使形式语义与编译一致。这种方法的基础是一时序逻辑语言,一方面它是一种逻辑系统,故其语义简明,便于形式化和有效地实现;另一方面它又是一种中间程序语言,其它高级语言的语义可以用严...

唐稚松 郑茂松... 《中国科学(A辑 数学 物理学 天文学 技术科学)》 1985年06期 期刊

关键词: 形式语义 / 唐稚松 / 形式转换 / 高级语言

下载(27)| 被引(0)

XYZ/G语法公式表  CNKI文献

§0 前言 1.XYZ/G整个文法划分为五层子文法:XYZ/G0,XYZ/G1,XYZ/G2,XYZ/G3,XYZ/G4,每层子文法按[1]给出的方法分成六块:即§1总体结构,§2数据结构,§3常量,§4语句,§5表达式,§6附属部...

唐稚松 何天牧 ... 《电子计算机参考资料》 1980年07期 期刊

关键词: 取值范围 / 函数定义 / 汉字串 / 拉丁字母

下载(17)| 被引(1)

XYZ:一种系列化语言族及其软件工程环境  CNKI文献

一、历史背景多年来一直困扰程序技术研究领域的一个根本问题是计算机程序难写、难读、易错、难以维护,致使软件生产率很低。对比之下,计算机应用的发展及硬件生产率的提高却非常快,很不匹配,针对这个问题,30多年来,程...

唐稚松 《大自然探索》 1992年03期 期刊

关键词: 时序算子 / 数据流图 / XYZ / 可重用性

下载(14)| 被引(0)

一种用FPL表示LR(K)分解程序的方法  CNKI文献

LR(K)文法是当前最受注意的形式文法之一。其优点是:(1)受限制小,(2)查错功能强,(3)翻译速度快,(4)便于机械生成。其不足之处是:状态过多,颇占存储;其表示方法亦有不足之处,例如,插入语义子程序不便,亦不便于阅读。FP...

唐稚松 《电子计算机动态》 1975年05期 期刊

关键词: FPL / 产生式

下载(17)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状