![](images/graphics/blank.gif)
Lecture Programming languages (2/e): Chapter 18d - Tucker, Noonan
14
lượt xem 0
download
lượt xem 0
download
![](https://tailieu.vn/static/b2013az/templates/version1/default/images/down16x21.png)
Chapter 18d - Correctness of functional programs. This section addresses the question of program correctness functional programming. We visit the question of how to prove a program conect for the special case when it is written in a pure functional program-one that is state-less and relies instead on functional composition and recursion as a foundation for its semantics.
Chủ đề:
Bình luận(0) Đăng nhập để gửi bình luận!
![](images/graphics/blank.gif)
CÓ THỂ BẠN MUỐN DOWNLOAD