Pointwise Relational Programming
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 v...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
2000
|
| _version_ | 1797103057835655168 |
|---|---|
| author | de Moor, O Gibbons, J |
| author_facet | de Moor, O Gibbons, J |
| author_sort | de Moor, O |
| collection | OXFORD |
| description | 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. |
| first_indexed | 2024-03-07T06:14:39Z |
| format | Conference item |
| id | oxford-uuid:f0abea5e-4b7d-46a8-9448-4af569dc02b2 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T06:14:39Z |
| publishDate | 2000 |
| record_format | dspace |
| spelling | oxford-uuid:f0abea5e-4b7d-46a8-9448-4af569dc02b22022-03-27T11:49:56ZPointwise Relational ProgrammingConference itemhttp://purl.org/coar/resource_type/c_5794uuid:f0abea5e-4b7d-46a8-9448-4af569dc02b2Department of Computer Science2000de Moor, OGibbons, JThe 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. |
| spellingShingle | de Moor, O Gibbons, J Pointwise Relational Programming |
| title | Pointwise Relational Programming |
| title_full | Pointwise Relational Programming |
| title_fullStr | Pointwise Relational Programming |
| title_full_unstemmed | Pointwise Relational Programming |
| title_short | Pointwise Relational Programming |
| title_sort | pointwise relational programming |
| work_keys_str_mv | AT demooro pointwiserelationalprogramming AT gibbonsj pointwiserelationalprogramming |