Calculating Functional Programs
A good way of developing a correct program is to <em>calculate</em> it from its specification. Functional programming languages are especially suitable for this, because their referential transparency greatly helps calculation. We discuss the ideas behind program calculation, and illustr...
| Tác giả chính: | |
|---|---|
| Định dạng: | Conference item |
| Được phát hành: |
School of Computing and Mathematical Sciences‚ Oxford Brookes University
1997
|
Search Result 1
Search Result 2
