Twenty years of rewriting logic

Research output: Contribution to journalArticlepeer-review


Rewriting logic is a simple computational logic that can naturally express both concurrent computation and logical deduction with great generality. This paper provides a gentle, intuitive introduction to its main ideas, as well as a survey of the work that many researchers have carried out over the last twenty years in advancing: (i) its foundations; (ii) its semantic framework and logical framework uses; (iii) its language implementations and its formal tools; and (iv) its many applications to automated deduction, software and hardware specification and verification, security, real-time and cyber-physical systems, probabilistic systems, bioinformatics and chemical systems.

Original languageEnglish (US)
Pages (from-to)721-781
Number of pages61
JournalJournal of Logic and Algebraic Programming
Issue number7-8
StatePublished - Oct 2012


  • Bioinformatics
  • Concurrency
  • Formal specification and verification
  • Logical frameworks
  • Networks and distributed systems
  • Probabilistic systems
  • Programming language semantics
  • Real-time systems
  • Rewriting logic
  • Security
  • Temporal logics

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Logic
  • Computational Theory and Mathematics


Dive into the research topics of 'Twenty years of rewriting logic'. Together they form a unique fingerprint.

Cite this