The rewriting logic semantics project: A progress report

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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)
Title of host publicationFundamentals of Computation Theory - 18th International Symposium, FCT 2011, Proceedings
Number of pages37
StatePublished - Sep 9 2011
Event18th International Symposium on Fundamentals of Computation Theory, FCT 2011 - Oslo, Norway
Duration: Aug 22 2011Aug 25 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6914 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other18th International Symposium on Fundamentals of Computation Theory, FCT 2011

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

Cite this