Sciweavers

ACMMPC
2000
Springer
249views Mathematics» more  ACMMPC 2000»
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 ext...
Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu