A Calculational Theory of Pers as Types
In the calculational approach to programming, programs are derived from specifications by algebraic reasoning. This report presents a calculational programming framework based upon the notion of binary relations as programs, and partial equivalence relations (pers) as types. Working with relations...
| Main Authors: | , |
|---|---|
| Format: | Monograph |
| Published: |
Department of Computing Science
1992
|
| Online Access: | https://eprints.nottingham.ac.uk/241/ |