论文部分内容阅读
本文针对编程时不能被编译系统检测出来的语义错误，提出了基于数据流的语义检测方发，提出了一个具体的实例，并提出了一般方法。
基于数据流的程序验证方法
【摘 要】
：
本文针对编程时不能被编译系统检测出来的语义错误，提出了基于数据流的语义检测方发，提出了一个具体的实例，并提出了一般方法。
【机 构】
：
中山大学数学系
【出 处】
：
现代计算机：下半月版
【发表日期】
：
1998年4期
其他文献
【摘 要】晏几道是北宋词坛的婉约词大家。盛衰迥异的人生遭遇，使他饱尝了世态炎凉，其词多怀往事，抒写哀愁，有强烈的生命意识，笔调深婉工丽，语淡情深，本文试从作者落拓人生的抒写，词的独特梦幻的意象和灵活多样的艺术表达来分析晏几道词的艺术特色。 【关键词】晏几道词 艺术特色 晏几道是北宋前期重要的词作家，其词多怀往事，抒写人世的悲欢离合。其很多词同情歌妓舞女命运，把自己坎坷的人生际遇写进恋情之中，把
目的:探讨分析糖尿病患者自行皮下注射胰岛素的健康教育与护理体会。方法:收治2型糖尿病患者70例,随机分为两组,各35例。对照组接受常规健康教育与护理,观察组接受科学、合理
本文分析Ｉｎｔｅｒｎｅｔ网络交通模式，ＷＷＷ ｃａｃｈｅ对端用户、ＩＳＰ和干线供应商的利益驱动，分析了构造大规模ｃａｃｈｅ的技术需求，并提出相应的解决方案：机群计算，缓冲优化的数据库，多线程数据流。
版心与页边距一同形成了书籍版面的基本面貌,本文通过梳理中西方版心与页边距相关理论的发展历程,分析影响版心与页边距设定的因素与原则,结合现代设计发展的趋势,从而归纳出
随着知识体系和仪器设备的不断更新,在保持传统知识结构和体系的基础,需要通过完善授课方式提高教学质量适应时代要求。因此,该课程及时调整和修改授课内容,扩充新的知识点,
数学的计算教学一直是数学学习的基础,贯穿于整个学习过程。从基础口算到用笔计算,再到生活的估算应用,构成了一个彼此联系、循序渐进的独特知识体系。数学来源于生活,确立学
本文讨论了一种用于卫星实时实时的计算机软件采用的定时方法，以及该软件的基本结构和功能特点。
本文在前人理论研究的基础上,结合笔者多年从事财务管理和国有资产管理的实践着重从高校计提固定资产折旧的现实意义和实现固定资产折旧的计提必须要解决的问题两个方面,谈谈
师范化指的是由一名普通中学毕业生成长为一名合格师范生的过程。本文在分析合格师范生标准、初等教育师范生的特殊性后，阐述初等教育师范生自主师范化途径的必要性，以达到优化
由于全国各地开设工程管理专业的本科高校众多,培养方案差异大,尤其是教学过程重理论,轻实践,导致人才培养的质量差异大,难评价,社会适应性不佳。基于"面向工业界、面向世界