排序方式: 共有22条查询结果,搜索用时 15 毫秒
1.
基于软件文档可执行的想法,设计了一个适用于指称语义描述的可执行规范说明语言——JZC,并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念,使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试,JZC核心子集编译器的开发采用了该种方法,其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介JZC的语言特点,给出了编译器开发过程的一个描述框架和证明梗概 相似文献
2.
3.
基于基元关系模型的C++程序静态分析器 总被引:1,自引:0,他引:1
分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究. 相似文献
4.
舒忠正 《南京航空航天大学学报》1986,(1)
本文说明了符号微分程序系统的一些特征、功能、设计思想和程序设计技术。 该系统是使用人工智能专用语言LISP写成的,并且已经在CROMEMCO系统Ⅲ微型计算机上正确地运行。文中还给出了在该机器上求出的一些复杂函数的符号微分实例。 相似文献
5.
6.
本文介绍了一种消去两相贯凸平面立体的隐藏线算法。首先利用外法线法单体消隐,然后用线与面比较法作组合消隐计算,逐一确定各个单体上可见棱线在组合体上的可见线段,最后显示或绘制所有的可见棱线段和两体的可见交线,得到消隐后的立体图。本法信息输入量较小,功能较强,不但适用于两相贯的凸平面立体的消隐,而且也适用于两迭加的凸平面立体的消隐。本程序还适用于两体具有共面的情况。 相似文献
7.
8.
用对象实现构件的原型开发方法 总被引:1,自引:0,他引:1
姚淑珍 《北京航空航天大学学报》1995,21(2):61-65
基于面向对象语言的基本特征,分析了用对象表示构件的诸多有利因素,提出了用对象实现构件的原型开发方法。该方法规定了构件的外部接口,构件间“联系”函数及原型合成过程中的择优方案等。它对原型法的实用化将会起很大的推进作用。 相似文献
9.
先简要介绍了Ada语言中的3种重载现象,并给出了表达式的二叉树存储结构,随后阐述了判别重载的基本算法,即先后对表达式分析树进行自底向上和自顶向下两遍类型匹配,来取得工最终的惟一合法释义,最后给出了一个例子。 相似文献
10.