Jiafu Xu

According to our database, Jiafu Xu authored at least 14 papers between 1989 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Quantum programming languages.

Jiafu Xu, Fanming Song

Frontiers Comput. Sci. China, 2008

Quantum programming languages: A tentative study.

Jiafu Xu, Fangmin Song

Sci. China Ser. F Inf. Sci., 2008

1997

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

Lijun Dong, Jiafu Xu

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996

Requirements Analysis and Specification as a Problem of Software Automation.

Jiafu Xu, Hong Zhu

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

1995

Analogical Type Theory.

Bo Yi, Jiafu Xu

J. Symb. Comput., 1995

Denotational semantics of a simple model of Eiffel.

Yuzhong Qu, Zhijian Wang, Jiafu Xu

J. Comput. Sci. Technol., 1995

1993

Analogy Calculus.

Bo Yi, Jiafu Xu

Theor. Comput. Sci., 1993

Analogical Program Derivation Based on Type Theory.

Jianguo Lu, Jiafu Xu

Theor. Comput. Sci., 1993

Design rationale for a wide spectrum specification language FGSPEC.

Lu Jian, Jiafu Xu

J. Comput. Sci. Technol., 1993

A Knowledge Processing Language and Its Parallel Inference System.

Cui Zhang, Qinping Zhao, Jiafu Xu

Proceedings of the SEKE'93, 1993

1992

The Directed Inference and Its Role in NDSAIL System.

Zongming Fei, Jiafu Xu

Proceedings of the Automated Reasoning, 1992

On the Design and Implementation of NDSAIL: A Software Automation System with Automated Learning Mechanisms.

Jiafu Xu, Daoxu Chen, Lu Jian, Zhijian Wang, Zongming Fei, Yousong Zhang, Qin Ding, Yingchun Zhu

Proceedings of the Algorithms, Software, Architecture, 1992

1991

Development Transformation Based on Higher Order Type Theory.

Jianguo Lu, Jiafu Xu

Proceedings of the Constructivity in Computer Science, 1991

1989

Report on a Software Automation R&D Project.

Jiafu Xu

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989