A Logic for Miranda, Revisited
Edit Page
Report
Scan day: 07 February 2014 UTC
10
Virus safety - good
Description: Article by Simon Thompson.
(March 01, 1995)
Publication: A Logic for Miranda, Revisited - School of Computing - University of Kent University of Kent - The UK's European University For current students & staff This paper expands upon work begun in the author's paper 'A Logic for Miranda', Formal Aspects of Computing 1 (1989), in building a logic for the Miranda functional programming language. After summarising the work in that paper, a translation of Miranda definitions into logical formulas is presented, and illustrated by means of examples. This work expands upon the earlier paper in giving a complete treatment of sequences of equations, and by examining how to translate the local definitions introduced by where clauses.
Size: 717 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Publication: A Logic for Miranda, Revisited - School of Computing - University of Kent |
| Keywords: | For current students & staff, Search, School of Computing, A Logic for Miranda, Revisited, Simon Thompson, Abstract, Bibtex Record |
| Description: | This is the 'A Logic for Miranda, Revisited' page on the 'School of Computing' website at the 'University of Kent'. |
| IP-address: | 129.12.4.58 |