The rewriting logic semantics project: A progress report

Research output: Contribution to journalArticlepeer-review

Abstract

Rewriting logic is an executable logical framework well suited for the semantic definition of languages. Any such framework has to be judged by its effectiveness to bridge the existing gap between language definitions on the one hand, and language implementations and language analysis tools on the other. We give a progress report on how researchers in the rewriting logic semantics project are narrowing the gap between theory and practice in areas such as: modular semantic definitions of languages; scalability to real languages; support for real time; semantics of software and hardware modeling languages; and semantics-based analysis tools such as static analyzers, model checkers, and program provers.

Original languageEnglish (US)
Pages (from-to)38-69
Number of pages32
JournalInformation and Computation
Volume231
DOIs
StatePublished - Oct 10 2013

Keywords

  • K
  • Maude
  • Programming languages
  • Rewriting logic
  • Semantics

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Information Systems
  • Computer Science Applications
  • Computational Theory and Mathematics

Fingerprint Dive into the research topics of 'The rewriting logic semantics project: A progress report'. Together they form a unique fingerprint.

Cite this