登入選單

返回Google圖書搜尋

A Comparison of the Axiomatic and Functional Models of Structured Programming

Victor R. Basili

出版	Department of Computer Science, University of Maryland, 1978
URL	http://books.google.com.hk/books?id=u3pGGwAACAAJ&hl=&source=gbs_api

註釋

This paper discusses the axiomatic and functional models of the semantics of structured programming. The models are presented together with their respective methodologies for proving program correctness and for deriving correct programs. Examples using these methodologies are given. Finally, the models are compared and contrasted. (Author).