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.

• Type: Conference
• Year: 2000
• Where: ACMMPC
• Authors: Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu
• Keywords: ACMMPC 2000, Concise Relational Specifications, Extended Case Study, Efficient Functional Programs, Mathematics