| Chapter 8 Algebraic Methods for Optimization Problems (2009) | |||||||||||||||
Abstract | |||||||||||||||
| 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. 1 | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||