Author: Jifeng He

Publications

Co-authors

Ib Holm Soerensen

1

J. Michael Spivey

1

Bernard Sufrin

1

Productive Colleagues

Bernard Sufrin

2

A. W. Roscoe

3

C. A. R. Hoare

14

Publications

Hoare, C. A. R., Hayes, Ian J., He, Jifeng, Morgan, Carroll, Roscoe, A. W., Sanders, Jeff W., Soerensen, Ib Holm, Spivey, J. Michael, Sufrin, Bernard (1987): Laws of Programming. In Communications of the ACM, 30 (8) pp. 672-686.

He, Jifeng, Liu, Zhiming, Li, Xiaoshan (2002): Towards a Refinement Calculus for Object Systems. In: Proceedings of the 1st IEEE International Conference on Cognitive Informatics ICCI 2002 19-20 August, 2002, Calgary, Canada. pp. 69-76. https://csdl.computer.org/comp/proceedings/icci/2002/1724/00/17240069abs.htm