A framework for operational equational specifications with pre-defined structures
type: Item
instance of: scholarly article
title: A framework for operational equational specifications with pre-defined structures
zbMATH Open document ID: 0928.68078
author: K. Becker
author: Jürgen Avenhaus
published in: Journal of Symbolic Computation
publication date: 2000-01-12T00:00:00Z
review text: The authors present a general framework for studying equational specifications with pre-defined structures. The axioms of the specifications are to define new structures in addition to the given ones. In particular, they may define a new operator only partially over some given domain. The approach allows one to assign easily semantics to such specifications in a denotational and operational fashion. In order to enable functional-style computations, the authors introduce a semantically enriched notion of term rewriting. This rewrite relation also allows the authors to infer the consistency of the specification. For the latter purpose one has to show confluence modulo the given structures. The authors outline how to obtain criteria easily for confluence and termination of the rewrite relation of discourse by generalizing results of the classical syntactic rewrite theory. \(\copyright\) Academic Press.
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1283737
zbMATH Keywords: syntactic rewrite theory
MaRDI profile type: Publication
full work available at URL: jsco.1998.0253
OpenAlex ID: W1986263934
DOI: 10.1006/JSCO.1998.0253
description: scientific article; zbMATH DE number 1283737