Algebraic Methods for Optimization Problems
Richard Bird‚ Jeremy Gibbons and Shin Cheng Mu
Abstract
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.
Details
| Book Title |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction |
| Editor |
Roland Backhouse and Roy Crole and Jeremy Gibbons |
| Pages |
281–307 |
| Publisher |
Springer−Verlag |
| Series |
Lecture Notes in Computer Science |
| Volume |
2297 |
| Year |
2002 |
Links
Related pages
|
People |
|
|
Activities |