Pointwise Relational Programming
Oege de Moor and Jeremy Gibbons
Abstract
The point-free relational calculus has been very successful as a language for discussing general programming principles. However, when it comes to specific applications, the calculus can be rather awkward to use: some things are more clearly and simply expressed using variables. The combination of variables and relational combinators such as converse and choice yields a kind of nondeterministic functional programming language. We give a semantics for such a language, and illustrate with an example application.
Details
| Book Title |
Algebraic Methodology and Software Technology |
| Month |
may |
| Pages |
371–390 |
| Series |
Lecture Notes in Computer Science |
| Volume |
1816 |
| Year |
2000 |
Links
Related pages
|
People |
|
|
Activities |