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


Richard Bird More by this author
More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical and Life Sciences Division - Department of Computer Science
Shin Cheng Mu More by this author

Contributors

Role:
Editor
Institution:
University of Oxford
Department:
Mathematical, Physical and Life Sciences Division - Department of Computer Science
Role:
Editor
Pages:
281-307
Publication date:
2002
ISSN:
0302-9743
URN:
uuid:1d128b31-3d3f-469d-adc6-4d9eda938399
Local pid:
cs:2334

Terms of use


Metrics



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

TO TOP