Book icon

Book

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.

Actions


Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author

Contributors

Role:
Editor
Role:
Editor
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Editor
Host title:
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Pages:
281-307
Publication date:
2002-01-01
ISSN:
0302-9743
UUID:
uuid:1d128b31-3d3f-469d-adc6-4d9eda938399
Local pid:
cs:2334
Deposit date:
2015-03-12

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP