ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/25377
Record Status Checked
Record Id 25377
Title MERILL: An Equational reasoning system in standard ML: A User guide (prereleas version 0.4)
Contributors
Abstract This document is intended to be a guide to the features available in the MERILL equational reasoning system. We give an overview and then walk through of an example session. A more detailed description of all the commands and features of the MERILL system is then given. We give some pointers to the underlying theory involved and examples of the systems use.
Organisation CSE , SERC
Keywords
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Report RAL Technical Reports RAL-93-026. 1993. RAL-TR-1993-026a.pdf 1993