Jiafu Xu

Publication Activity (10 Years)

Years Active: 1989-2008
Publications (10 Years): 0

Publications

Jiafu Xu, Fangmin Song
Quantum programming languages: A tentative study. Sci. China Ser. F Inf. Sci. 51 (6) (2008)
Jiafu Xu, Fanming Song
Quantum programming languages. Frontiers Comput. Sci. China 2 (2) (2008)
Lijun Dong, Jiafu Xu
Formal semantics of some functional constructs of the software requirements definition language NDRDL. COMPSAC (1997)
Jiafu Xu, Hong Zhu
Requirements Analysis and Specification as a Problem of Software Automation. SEKE (1996)
Bo Yi, Jiafu Xu
Analogical Type Theory. J. Symb. Comput. 19 (1-3) (1995)
Yuzhong Qu, Zhijian Wang, Jiafu Xu
Denotational semantics of a simple model of Eiffel. J. Comput. Sci. Technol. 10 (3) (1995)
Lu Jian, Jiafu Xu
Design rationale for a wide spectrum specification language FGSPEC. J. Comput. Sci. Technol. 8 (2) (1993)
Bo Yi, Jiafu Xu
Analogical Type Theory. DISCO (1993)
Bo Yi, Jiafu Xu
Analogy Calculus. Theor. Comput. Sci. 113 (2) (1993)
Jianguo Lu, Jiafu Xu
Analogical Program Derivation Based on Type Theory. Theor. Comput. Sci. 113 (2) (1993)
Cui Zhang, Qinping Zhao, Jiafu Xu
A Knowledge Processing Language and Its Parallel Inference System. SEKE (1993)
Zongming Fei, Jiafu Xu
The Directed Inference and Its Role in NDSAIL System. IWAR (1992)
Jiafu Xu, Daoxu Chen, Lu Jian, Zhijian Wang, Zongming Fei, Yousong Zhang, Qin Ding, Yingchun Zhu
On the Design and Implementation of NDSAIL: A Software Automation System with Automated Learning Mechanisms. IFIP Congress (1) (1992)
Jianguo Lu, Jiafu Xu
Development Transformation Based on Higher Order Type Theory. Constructivity in Computer Science (1991)
Jiafu Xu
Report on a Software Automation R&D Project. IFIP Congress (1989)