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...
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | Conference item |
| প্রকাশিত: |
School of Computing and Mathematical Sciences‚ Oxford Brookes University
1997
|
| সংক্ষিপ্ত: | 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 illustrate with an example (the <em>maximum segment sum</em> problem). We show that calculations are driven by <em>promotion</em>, and that promotion properties arise from <em>universal properties</em> of the data types involved. |
|---|