Skip to main content

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.

Book Title
Algebraic Methodology and Software Technology
Month
may
Pages
371–390
Series
Lecture Notes in Computer Science
Volume
1816
Year
2000