The Library
The formal specification of ELEKTRA
Tools
Tools
Tools
Craig, Iain D. (1995) The formal specification of ELEKTRA. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-261.pdf - Other - Requires a PDF viewer. Download (354Kb) | Preview |
Abstract
This paper contains the Z specification of a reflective production rule interpreter.
| Item Type: | Report | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Computer systems, Artificial intelligence, Rule-based programming | ||||
| Series Name: | Department of Computer Science research report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Official Date: | 1995 | ||||
| Dates: |
|
||||
| Number: | Number 261 | ||||
| Number of Pages: | 60 | ||||
| DOI: | CS-RR-261 | ||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Unpublished | ||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
