Author

Jiafu Xu

Observed names: Jia-Fu XU, JiaFu Xu, Xu Jiafu

Institution: Nanjing University

Observed institution: Nanjing University

OpenAlex ID: A5111909243

Quantum Programming Language NDQJava

2008 · Jia-Fu XU, Fang-Min SONG, et al. · Journal of Software · 8

Analogy calculus

1993 · Bo Yi, Jiafu Xu · Theoretical Computer Science · 8

Analogical program derivation based on type theory

1993 · Jianguo Lu, Jiafu Xu · Theoretical Computer Science · 7

Quantum programming languages

2008 · Jiafu Xu, Fanming Song · Frontiers of Computer Science in China · 4

Quantum programming languages: A tentative study

2008 · JiaFu Xu, FangMin Song · Science in China Series F Information Sciences · 3

Formal semantics of some functional constructs of the software requirements definition language NDRDL

2002 · Lijun Dong, Jiafu Xu · IEEE Annual International Computer Software and Applications Conference (COMPSAC) · 2

Requirements Analysis and Specification as a Problem of Software Automation.

1996 · Jiafu Xu, Hong Zhu · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering · 2

Analogical Type Theory

1995 · Bo Yi, Jiafu Xu · Journal of Symbolic Computation · 2

Kernel language KLND

1986 · Cui Zhang, Qinping Zhao, et al. · Journal of Computer Science and Technology · 2

On the Design, Implementation and Use of the Systems Programming Language XCY.

1980 · Jiafu Xu, Chong Cuihao, et al. · IFIP Congress · 2

Denotational semantics of a simple model of Eiffel

1995 · Yuzhong Qu, Zhijian Wang, et al. · Journal of Computer Science and Technology · 1

Development transformation based on higher order type theory

1992 · Jianguo Lu, Jiafu Xu · Lecture notes in computer science · 1

NDAUTO: An experimental software automation system

1989 · Jiafu Xu, Min Dai, et al. · Journal of Computer Science and Technology · 1

Quantum Programming Language NDQJava-2

2011 · Ling LIU, Jia-Fu XU · Journal of Software

PDF

Analogical type theory

2005 · Bo Yi, Jiafu Xu · Springer eBooks

Bornite craftworks creative design system oriented data communicating model

2003 · Wenbin Zheng, Suqin Men, et al. · International Conference on Computer Supported Cooperative Work in Design (CSCWD)

Software Automation: from “SILLY” to “INTELLIGENT”

1998 · Jiafu Xu, Daoxu Chen, et al. · WORLD SCIENTIFIC eBooks

Design rationale for a wide spectrum specification language FGSPEC

1993 · Lu Jian, Xu Jiafu · Journal of Computer Science and Technology

A Knowledge Processing Language and Its Parallel Inference System.

1993 · Cui Zhang, Qinping Zhao, et al. · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering

The Directed Inference and Its Role in NDSAIL System

1992 · Zongming Fei, Jiafu Xu

Report on a Software Automation R&D Project.

1989 · Jiafu Xu · IFIP Congress

Some Research on Non-von Neumann Programming Systems

1988 · Jiafu Xu, Hong Zhu, et al. · WORLD SCIENTIFIC eBooks

Works count: 22

Citation count: 43

H-index: 4

I10-index: