ACMMPC   2000 Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Wall of Fame | Most Viewed ACMMPC-2000 Paper
249views Mathematics» more  ACMMPC 2000»
10 years 10 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
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source249
2Download preprint from source240
3Download preprint from source238
4Download preprint from source236
5Download preprint from source231