A new approach to recursive programs.
暂无分享,去创建一个
In this paper we critically evaluate the classical least-fixedpoint approach towards recursive programs. We suggest a new approach which extracts the maximal amount of valuable information embedded in the programs. The presentation is informal, with emphasis on examples.
[1] Zohar Manna,et al. The Theoretical Aspects of the Optimal Fixed Point , 1976, SIAM J. Comput..
[2] Rod M. Burstall,et al. Proving Properties of Programs by Structural Induction , 1969, Comput. J..