Conference item
Calculating Functional Programs
- Abstract:
- A good way of developing a correct program is to calculate 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 maximum segment sum problem). We show that calculations are driven by promotion, and that promotion properties arise from universal properties of the data types involved.
Actions
Authors
Bibliographic Details
- Publisher:
- School of Computing and Mathematical Sciences‚ Oxford Brookes University
- Host title:
- Proceedings of ISRG/SERG Research Colloquium
- Publication date:
- 1997-11-01
Item Description
- UUID:
-
uuid:392ecdfe-bc2e-4456-9304-cf11375fd15d
- Local pid:
- cs:2348
- Deposit date:
- 2015-03-12
Terms of use
- Copyright date:
- 1997
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record