Skip to main content

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.

Book Title
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Editor
Roland Backhouse and Roy Crole and Jeremy Gibbons
ISSN
0302−9743
Pages
281–307
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
2297
Year
2002