ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
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
B Matthews (SERC Rutherford Appleton Lab.)
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
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar