|
主页
科研
M O S A T
相关论文列表
|
|
|
相关论文列表
- 树型匹配与程序变换，张乃孝，1992.
- 三叉树结构及其实现，张乃孝，
计算机研究与发展，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.
- 程序变换在程序语言中的一种表示—兼论变换型语言，张乃孝，
软件学报，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
- Polya 语言的主要特征，张乃孝、屈婉玲、宋今，
程序设计语言研究与发展（徐宝文、郑国梁主编），P157-161，
电子工业出版社，1994.2.
- 状态迁移理论－关于循环不变式的探讨，都志辉、张乃孝，
智能计算机基础研究'94 （李未主编），P462-466，清华大学出版社，1994.4.
The States Floating Theory — a Discussion about Loop Invariant, Du Zhihui, Zhang Naixiao
- 程序变换过程的分析与设计，张乃孝，
计算机学报，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.
- 面向模型的变换型软件开发方法研究，张乃孝、许卓群、屈婉玲，
理论计算机科学，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
- 用变换型方法模拟开发电话交换系统，屈婉玲、张乃孝，
计算机研究与发展，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.
- 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
- 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
- 程序设计语言的抽象与语言族模型，张乃孝、郑红军，
北京大学学报·自然科学版，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
- 软件开发中的形式化方法，郑红军、张乃孝，
计算机科学，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
- 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
- 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.
- 语言的抽象、封装与变换型开发方法，张乃孝、郑红军、裘宗燕，
软件学报，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
- 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
- 一种带约束的多态类型系统，郑红军、张乃孝，
计算机学报，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.
- 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
|
