The design of a rewrite rule interpreter from algebraic specifications

1 January 1987

journal article
Published by Institution of Engineering and Technology (IET) in Software Engineering Journal

Vol. 2 (4) , 95-104
https://doi.org/10.1049/sej.1987.0013

Abstract

Term rewriting is a widely used technique for executing equationai logic programs. This paper describes the design methodology used in the rigorous development of a rewrite rule interpreter for UMIST OBJ, a language for expressing executable algebraic specifications of programs. The design methodology was inspiredby the use of UMIST OBJ itself as a development tool.

Keywords

REWRITE RULE INTERPRETER
UMIST OBJ
SPECIFICATION LANGUAGES
DEVELOPMENT TOOL
ALGEBRAIC SPECIFICATIONS
EQUATIONAL LOGIC PROGRAMS

This publication has 2 references indexed in Scilit:

Contextual rewriting
Lecture Notes in Computer Science, 1985
Equations and Rewrite Rules: A Survey
Published by Elsevier ,1980