Between functions and relations in calculating programs
This thesis is about the calculational approach to programming, in which one derives programs from specifications. One such calculational paradigm is Ruby, the relational calculus developed by Jones and Sheeran for describing and designing circuits. We identify two shortcomings with derivations mad...
| Main Author: | |
|---|---|
| Format: | External Thesis |
| Language: | English |
| Published: |
1992
|
| Online Access: | https://eprints.nottingham.ac.uk/28200/ |