Rewriting logic: Roadmap and bibliography

Narciso Martí-Oliet, José Meseguer

Research output: Contribution to journalArticlepeer-review


The roadmap and bibliography for rewriting logic was presented. The bibliography provided included more than hundred papers related to rewriting logic. The project achieved a distributable version of the CafeOBJ language. The work on semantics, a collection of specification libraries and case studies, an environment and a collection of specification supporting different forms of verification were also discussed.

Original languageEnglish (US)
Pages (from-to)121-154
Number of pages34
JournalTheoretical Computer Science
Issue number2
StatePublished - Aug 28 2002
Externally publishedYes

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Rewriting logic: Roadmap and bibliography'. Together they form a unique fingerprint.

Cite this