Details

Autor(en) / Beteiligte

• Aiguier, Marc
• Bahrami, Diane
• Longuet, Delphine

Titel

An Abstract Way to Define Rewriting Logic

Ist Teil von

• Electronic notes in theoretical computer science, 2006-05, Vol.159, p.205-226

Ort / Verlag

Elsevier B.V

Erscheinungsjahr

2006

Link zum Volltext

Quelle

EZB Electronic Journals Library

Beschreibungen/Notizen

• Since rewriting logic has been introduced, it has shown its adequateness both as a semantic and a logical framework. But the numerous applications of the rewriting logic in the above two areas has shown the importance of increasing its expressive power. Therefore, in order to facilitate this work, we will study in this paper how to generalize the transformation that from the equational logic has resulted in the rewriting logic. To achieve this purpose, we will show that there exists a valid and useful notion of rewriting logic associated to any rewriting theory fitting an abstract framework developed by two of the authors in previous papers.