Algebraic Methods for Optimization Problems
We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an extended case study for a class of optimization problems, deriving efficient functional programs from concise relational specifications...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Book |
| Published: |
2002
|
| _version_ | 1797056956443131904 |
|---|---|
| author | Bird, R Gibbons, J Mu, S |
| author2 | Backhouse, R |
| author_facet | Backhouse, R Bird, R Gibbons, J Mu, S |
| author_sort | Bird, R |
| collection | OXFORD |
| description | We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an extended case study for a class of optimization problems, deriving efficient functional programs from concise relational specifications. |
| first_indexed | 2024-03-06T19:29:48Z |
| format | Book |
| id | oxford-uuid:1d128b31-3d3f-469d-adc6-4d9eda938399 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T19:29:48Z |
| publishDate | 2002 |
| record_format | dspace |
| spelling | oxford-uuid:1d128b31-3d3f-469d-adc6-4d9eda9383992022-03-26T11:08:50ZAlgebraic Methods for Optimization ProblemsBookhttp://purl.org/coar/resource_type/c_2f33uuid:1d128b31-3d3f-469d-adc6-4d9eda938399Department of Computer Science2002Bird, RGibbons, JMu, SBackhouse, RCrole, RGibbons, JWe argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an extended case study for a class of optimization problems, deriving efficient functional programs from concise relational specifications. |
| spellingShingle | Bird, R Gibbons, J Mu, S Algebraic Methods for Optimization Problems |
| title | Algebraic Methods for Optimization Problems |
| title_full | Algebraic Methods for Optimization Problems |
| title_fullStr | Algebraic Methods for Optimization Problems |
| title_full_unstemmed | Algebraic Methods for Optimization Problems |
| title_short | Algebraic Methods for Optimization Problems |
| title_sort | algebraic methods for optimization problems |
| work_keys_str_mv | AT birdr algebraicmethodsforoptimizationproblems AT gibbonsj algebraicmethodsforoptimizationproblems AT mus algebraicmethodsforoptimizationproblems |