- 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.
- Publication date:
- Local pid:
- Copyright date:
Algebraic Methods for Optimization Problems
If you are the owner of this record, you can report an update to it here: Report update to this record