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
Department:
Mathematical, Physical and Life Sciences Division - Department of Computer Science
Role:
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-01-01
URN:
uuid:a299500d-6f5f-4288-ba95-60d143726333
Local pid:
cs:2652

Terms of use


Metrics


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