Jiafu Xu

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