搜索筛选:
搜索耗时0.1083秒,为你在为你在102,285,761篇论文里面共找到 27 篇相符的论文内容
发布年度:
[期刊论文] 作者：张乃孝,,
来源：计算机研究与发展 年份：1993
本文定义了一种三叉树的结构。引进了三叉树抽象数据类型的概念。给出了一种多重链表的实现。最后对广义三叉树和三叉树林作了初步讨论....
[期刊论文] 作者：张乃孝,,
来源：中国大学教学 年份：2013
本文回顾了著者三十多年来从事"数据结构"教学与研究的主要经历,重点介绍了对该课程的教材建设方面的主要工作,指出与时俱进、精益求精地编写教材是提高教学水平的基础和关键...
[期刊论文] 作者：张乃孝,
来源：软件学报 年份：1993
本文首先引入了“变换型语言”的概念,给出了代表这种语言特征的机制:“变换模块”和“变换控制命令”的具体定义;举例说明了如何使用“变换模块”描述一个抽象数据类型的部...
[期刊论文] 作者：张乃孝,
来源：计算机学报 年份：1994
程序变换过程的分析与设计张乃孝（北京大学计算机科学与技术系北京１００８７１）ＡＮＡＬＹＳＩＳＡＮＤＤＥＳＩＧＮＯＦＴＨＥＰＲＯＧＲＡＭＴＲＡＮＳＦＯＲＭＡＴＩＯＮＰＲＯＣＥＳＳ￥ＺｈａｎｇＮａｉｘｉａｏ（ＤｅｐａｒｔｍｅｎｔｏｆｃｏｍｐｕｔｅｒＳｃｉ.........
[期刊论文] 作者：张乃孝,
来源：计算机学报 年份：1990
本文根据逻辑程序的要求,设计了知识结构的三叉树表示法,并给出了基于这种表示的推理过程的框架。...
[期刊论文] 作者：张乃孝,
来源：中国计算机用户 年份：1989
...
[会议论文] 作者：张乃孝,
来源：第二届大学计算机课程报告论坛 年份：2006
本文回顾了二十多年来从事"数据结构"相关教材的编写过程；对于笔者编写的相关教材进行了客观的分析；然后对于教材编写过程中遇到的若干原则问题,发表了个人的看法....
[期刊论文] 作者：郑红军, 张乃孝,,
来源：计算机学报 年份：1999
本文讨论了一种带约束的多态类型系统，引入了约束类型．约束与全称量化的结合使得参数化多态函数的应用更安全，同时也为重载的表示和实现提供了一个新的途径，提高了类型表示的抽象......
[期刊论文] 作者：张乃孝,郑红军,
来源：北京大学学报：自然科学版 年份：1997
程序设计语言的模型对于研究语言的性质具有重要作用，基于语言的抽象这一概念，在建立的语言之代数模型下，给出了程序设计语言间的３种关系，继承，扩充，屏蔽的语义，并提出了在这３种关系下......
[期刊论文] 作者：郑红军,张乃孝,
来源：计算机研究与发展 年份：1998
文中用代数方法研究了Ｇａｒｍｅｎｔ中程序设计语言的归约语义，首先给出了归约语义在形式语言理论中的含义，然后提出了Ｇａｒｍｅｎｔ中语言的代数模型。在此代数模型下讨论了归约语义及其性质，并给出了语言......
[期刊论文] 作者：张乃孝,郑红军,
来源：软件学报 年份：1998
该文提出了一种系统的软件开发方法－面向模型的变换型软件开发方法。这种方法把数据抽象的思想提高到语言抽象层次；把一类专用软件的规范抽象为语言的规范；把这类软件的实现抽象......
[期刊论文] 作者：郑红军,张乃孝,
来源：计算机科学 年份：1997
1形式化方法 随着软件系统复杂度的不断增长,开发正确、可靠的软件,已成为一个巫解决的问题。形式化方法是解决此间题的一个有前途、有希望的技术,它建立在严格的数学...
[期刊论文] 作者：张乃孝,蒋凌霄,
来源：计算机科学 年份：2003
1引言一般来说,领域语言(Domain Specific Language,又称Little Language)是特定于某个领域的需求的描述语言,它提供足够多的语言成分支持该领域中通用的各种概念,使该领域的...
[期刊论文] 作者：郑红军,张乃孝,
来源：软件学报 年份：1998
本文从Ideal的基本概念出发,研究了Ideal作为类型的语义模型所具有的性质.在类型的Ideal模型下,讨论了Garment中参数化多态类型和约束多态类型的语义.并在此基础上,证明了Gar...
[期刊论文] 作者：屈婉玲,张乃孝,
来源：计算机研究与发展 年份：1995
本文给出了用变换软件开发方法模拟开发电话交换系统的描述，由抽象的软件规范出发，通过一系列变换实现了数据的精化和操作的分解，最终得到可在机器上运行的程序，整个开发过程是用......
[期刊论文] 作者：张乃孝,张明恒,
来源：微电子学与计算机 年份：2000
基于交易中件的客户／服务器系统是一种典型的分布式事务处理系统，深入研究这种系统的一般模型，有助于深刻理解这种软件的特征与性质，有助于提高系统的正确性和可靠性。文章根据该......
[期刊论文] 作者：范少锋,张乃孝,,
来源：计算机科学 年份：2005
随着软件规模越来越大、软件复杂度越来越高,如何高效地开发出高质量的软件以及如何有效地维护和更新软件都是当前软件方法学研究所关注的重点。为了实现这一目标,已经陆续出现一些有效的方法和技术。KrzysztofCzarnecki和U.Eisenecker融合先进方法和技术的精髓......
[会议论文] 作者：张乃孝,侯世君,
来源：中国计算机学会PROLOG语言学术讨论会 年份：1985
该文讨论了Horn子句逻辑程序固有的不确定性及其潜在的并发性。分析了Prolog及一些并发逻辑程序设计语言模型的优缺点。在此基础上提出一种并行逻辑程序设计语言的梗概。（本刊...
[会议论文] 作者：张乃孝,屈婉玲,
来源：全国程序设计语言发展与教学学术会议 年份：1994
...
[期刊论文] 作者：张乃孝, 琚小明, 孙猛,,
来源：中国科学(E辑:信息科学) 年份：2004
随着计算机技术的发展,通用语言已经不能满足各种领域应用程序开发的需要.由于领域语言提供领域专用术语和符号的概念,支持该领域中的各种处理,能够简洁、有效地构造该领域应...
相关搜索：
