PKU
数学学院  主  页  科  研  教  学  生  活



主页

科研

  论著列表

论著列表

  1. 有关C 语言语法形式化中若干问题的探讨，张乃孝、于晓迪，
    计算机工程与应用1985 年第2期 P1-5 1985.2.
  2. C语言语法图，张乃孝、于晓迪，
    计算机工程1986年第2期 P20-23 1986.2.
  3. Prolog语言：原理与特征，俞士汶、张乃孝，
    计算机世界（月刊）Vol.2,P41-46,1986.12.
  4. 数据结构，许卓群、张乃孝、杨冬青、唐世渭，高等教育出版社 1987.
  5. 逻辑程序中的控制策略及其表示，张乃孝、候世君，
    北京大学学报，Vol.24,No.5,P630-636,1988.5.
    The Control Modes and Their Expressions of The Logic Programming,
    Zhang Naixiao,Hou Shijun,
    Acta Scientiarun Naturralium Universitatis Pekinensis,
    Vol.24,No.5,P630-636,1988.5.
  6. 数据结构体系分析，张乃孝，
    计算机研究与发展 Vol.25,No.5,P36-40,1988.5.
    The Architectural Analysis of Data Structures,Zhang Naixiao,
    Computer research and Development, Vol.25,No.5,P36-40 1988.5.
  7. 软件形式描述与形式开发，张乃孝，
    中国计算机用户，总86期 P8-10，1989.2.
  8. Ada程序设计，J.G.P.Barnes 原著，
    张乃孝、候世君译，杨芙清、吴允曾校，
    人民邮电出版社，1989.6.
  9. 实用C语言程序设计教程，孙玉方、张乃孝
    北京大学出版社，1989.8.；台湾儒林出版公司，1992.
  10. Polya Programming Language （语言文本），
    David Gries , Naixiao Zhang etc. 1989.9.
  11. 知识结构的三叉树表示及逻辑推理的实现，张乃孝
    计算机学报，Vol.13,No.1, P32-41，1990.1
    The Trinary-Tree Representation of Knowlege and The Implementation of Inference Procedures,
    Zhang Naixiao,Chinese Journal of Computrs, Vol.13 No.1 P32-41, 1990.1
  12. 三十年来计算机科学的发展和贡献（编译），张乃孝等
    模式识别与人工智能，Vol.3 No.4 P1-31，1990.12.
    Scientific Contributions of Computer Science, Edited by Zhang Naixiao
    Pattern Recognition and Artifical Intelligence, Vol.3 No.4 P1-31, 1990.12
  13. 关于发展计算机科学的几点建议（编译），张乃孝等
    模式识别与人工智能，Vol.3 No.4 P32－36，1990.12.
    Proposals for The Development of Computer Science，
    Edited by Zhang Naixiao，
    Pattern Recognition and Artifical Intelligence， Vol.3 No.4 P32－36, 1990.12
  14. 数据结构基础，张乃孝等，北京大学出版社 1991.3.，台湾儒林出版公司 1992.
  15. 三叉树结构及其实现，张乃孝，
    计算机研究与发展，Vol.30 No.1 P50-54，1993.1.
    Trinary Tree Structure and Its Implementation, Zhang Naixiao
    Computer research and Development, Vol.30 No.1 P50-54, 1993.1.
  16. 程序变换在程序语言中的一种表示—兼论变换型语言，张乃孝，
    软件学报，Vol.4, No.5 P17-23，1993.10
    A Notation of Program Transformation in Programming Languages - On Transformational Programming Languages,
    Zhang Naixiao, Journal of Software, Vol.4, No.5 P17-23, 1993.10
  17. Polya 语言的主要特征，张乃孝、屈婉玲、宋今，
    程序设计语言研究与发展（徐宝文、郑国梁主编），P157-161，
    电子工业出版社，1994.2.
  18. 状态迁移理论－关于循环不变式的探讨，都志辉、张乃孝，
    智能计算机基础研究'94 （李未主编），P462-466，清华大学出版社，1994.4.
    The States Floating Theory — a Discussion about Loop Invariant, Du Zhihui, Zhang Naixiao
  19. 程序变换过程的分析与设计，张乃孝，
    计算机学报，Vol.17.No.6.p473-476，1994.6
    Analyse and design for the process of program transformation,
    Naixiao Zhang, Chinese Journal of Computrs, Vol.17,No.6 P473-476, 1994.6.
  20. 面向模型的变换型软件开发方法研究，张乃孝、许卓群、屈婉玲，
    理论计算机科学，Vol.2.p54-64，1994.8
    On the Model-Oriented Transformational Method of Software Development,
    Zhang Naixiao, Xu Zhuoqun, Qu Wanling,
    Theoretical Computer Science Vol.2, P54-64
  21. 用变换型方法模拟开发电话交换系统，屈婉玲、张乃孝，
    计算机研究与发展，Vol.32 No.7 p11-16，1995.7.
    Simulation of Developing A Telephone Exchange System by Transformational Method, Qu Wanling, Zhang Naixiao,
    Computer research and Development, Vol.32 No.7 p11-16, 1995.7.
  22. An Abstract Model for Programming Languages,
    Zheng Hongjun, Zhang Naixiao,
    Proceedings of the Changsha International CASE Symposium'95, P69-75, 1995.10.,
    Sponsored by Japan Software Engineers Association and UNU/IIST
  23. VDM和Z两种规范描述语言的比较，朱玉皆、陈忠民、张乃孝，
    计算机研究与发展，Vol.33 No.11 p816-822，1996.11.
    The Contrasts Between VDM and Z, Zhu Yujie, Chen Zhongmin, Zhang Naixiao,
    Computer research and Development, Vol.33 No.11 p816-822, 1996.11.
  24. Garment-A Mechanism for Abstraction and Encapsulation of Languages
    Zhang Naixiao, Zheng Hongjun, Qiu Zongyan
    ACM SIGPLAN Notices Vol.32. No.6 p53-60, June 1997
  25. 程序设计语言的抽象与语言族模型，张乃孝、郑红军，
    北京大学学报·自然科学版，Vol.33.No.5.p650-657，1997.9
    Abstraction of Programming Languages and a Model of Language Family,
    Zhang Naixiao, Zheng Hongjun,
    Acta Scientiarun Naturralium Universitatis Pekinensis, Vol.33,No.5,p650-657, 1997.9
  26. 软件开发中的形式化方法，郑红军、张乃孝，
    计算机科学，Vol.24 No.6 p90-96，1997
    Formal Methods in Software Development, Zheng Hongjun, Zhang Naixiao,
    Computer Science, Vol.24 No.6 p90-96, 1997
  27. Garment 中多态类型的Ideal模型，郑红军、张乃孝
    软件学报，Vol.9, No.3 p194-199，1998.3
    An Ideal Model for Polymorphic Types in Garment, Zheng Hongjun, Zhang Naixiao,
    Journal of Software, Vol.9 No.3 p194-199, 1998.3
  28. Garment中的归约语义，郑红军、张乃孝，
    计算机研究与发展，Vol.35 No.6 p486-490，1998.6.
    The Reduction Semantics in Garment, Zheng Hongjun, Zhang Naixiao,
    Computer research and Development, Vol.35 No.6 p486-490, 1998.6.
  29. 语言的抽象、封装与变换型开发方法，张乃孝、郑红军、裘宗燕，
    软件学报，Vol.9.No.7.P496-500，1998.7
    Language Abstraction, Encapsulation and Development with Transformational Method,
    Zhang Naixiao, Zheng Hongjun, Qiu Zongyan,
    Journal of Software, Vol.9.No.7.P496-500, 1998.7
  30. 数据结构-C++与面向对象的途径，张乃孝、裘宗燕，
    "九五"国家教委重点教材(59万字)，
    高等教育出版社 1998.6.
  31. Software Reuse in the Garment Approach,
    Qiu Zongyan, Zhang Naixiao, Wang Minghui,
    Proceedings of the Interational Symposium on Future Software Technology,
    ISFST-98 P323-326 (ISBN-4-916227-0304),
    Published in October 1998 by Software Engineers Association of Japan
  32. 一种带约束的多态类型系统，郑红军、张乃孝，
    计算机学报，Vol.22 No.4 p343-350，1999.4.
    A Polymorphic Type System With Constrans,
    Zheng Hongjun, Zhang Naixiao,
    Chinese Journal of Computers, Vol.22 No.4 p343-350, 1999.4.
  33. 基于交易中间件的客户/服务器系统的形式描述，张乃孝、张明恒，
    微电子学与计算机第17卷第5期，P1-5，2000年10月
    Formulization of 3-Tier Client/Server Software Architectural Style Using Z
    Zhang Naixiao,Zhang MingHeng
    Microelectronics & Computer Vol.17 No5 P1-5 2000/10
  34. 基于线程的Java程序自动并行转换技术，刘英、刘磊、张乃孝，
    软件学报，Vol.12.No.3.P390-397，2001.3
    Thread-Based Automatic Parallel Conversion Technique For Java Program，
    Liu Ying,Liu Lei,Zhang Naixiao，
    Journal of Software，Vol.12.No.3.P390-397，2001.3
  35. A Component-based Framework and Reusability in Garment,
    Zhang Naixiao,Liu Ying,
    Proceedings of the Asia-Pacific Software Engineering Conference,
    APSEC-2001 P411-418 (ISBN-0-7695-1408-1),
    Published in 2001 by the IEEE Computer Society


数学学院 - 主  页 - 科  研 - 教  学 - 生  活

2002年3月19日