LOPSTR   2007 Logic Program Synthesis and Transformation
Wall of Fame | Most Viewed LOPSTR-2007 Paper
14 years 9 days ago
Denotation by Transformation
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...
Bernd Braßel, Jan Christiansen
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 source163
2Download preprint from source136
3Download preprint from source134
4Download preprint from source122
5Download preprint from source114
6Download preprint from source110
7Download preprint from source105
8Download preprint from source103
9Download preprint from source102