Sciweavers

ACMMPC
2000
Springer

Algebraic Methods for Optimization Problems

14 years 3 months ago
Algebraic Methods for Optimization Problems
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.
Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu
Added 01 Aug 2010
Updated 01 Aug 2010
Type Conference
Year 2000
Where ACMMPC
Authors Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu
Comments (0)