登入
選單
返回
Google圖書搜尋
Toward formal development of ML programs
Donald Sannella
University of Edinburgh. Department of Computer Science. Laboratory for Foundations of Computer Science
Andrzej Tarlecki
其他書名
foundations and methodology ; preliminary version
出版
Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh
, 1989
URL
http://books.google.com.hk/books?id=dRP5HAAACAAJ&hl=&source=gbs_api
註釋
Abstract: "A formal methodology is presented for the systematic evolution of modular Standard ML programs from specifications by means of verified refinement steps, in the framework of the Extended ML specification language. Program development proceeds via a sequence of design (modular decomposition), coding and refinement steps. For each of these three kinds of steps, conditions are given which ensure the correctness of the result. These conditions seem to be as weak as possible under the constraint of being expressible as "local" interface matching requirements. Interfaces are only required to match up to behavioural equivalence, which is seen as vital to the use of data abstraction in program development."