ACMMPC 2000 Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
 |  |
Wall of Fame | Most Viewed ACMMPC-2000 Paper
ACMMPC
2000
Springer
13 years 9 months ago
2000
Springer
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...
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.
| Id | Read | Views | Title | Status |
|---|---|---|---|---|
| 1 |  | 249 | ||
| 2 | | 240 | ||
| 3 | | 238 | ||
| 4 | | 236 | ||
| 5 | | 231 |