张幸儿

2012

C语言程序设计实用教程

《科学出版社》

2008

编译原理 编译程序构造与实践

2008

编译原理

《机械工业出版社》

2005

计算机编译原理：编译程序构造实践

《科学出版社》

1995

An approach to executable specifications, based on formal source_to_source conversion

ACM SIGPLAN Notices

DOI

1993

静态模拟自动分析技术与代码反汇编

《计算机应用与软件》

1992

程序设计方法学教程

《南京大学出版社》

1992

集合类型及其在C语言中的扩充

《计算机研究与发展》

1991

Source-to-Source Conversion Based on Formal Definition

Journal of Computer Science & Technology

1990

规范抽象语法与抽象语法树的直接生成

《计算机学报》

1990

过程非正常出口的实现

《微电子学与计算机》

1988

分块编译在 PASCAL 中的实现

《南京大学学报(自然科学)》

1985

XCY-2分块编译的实现

《计算机研究与发展》

1985

模块化语言过程设施的实现

《计算机科学》

1984

电子计算机 软件分册

1984

高质量输入输出成分的设计与实现

《南京大学学报(自然科学)》

1980

算法=逻辑+控制

《计算机科学》

1979

一种检查ALGOL源程序语法错误的方法

《南京大学学报(自然科学)》

1974

ND—7301编译系统(Ⅰ):初始语言

《南京大学学报(自然科学)》