The Rewriting Logic Semantics Project: A Progress Report
From FSL
This paper has originally been an invited paper at FCT'11, then it has been selected to be published in a special issue of the Information and Computation journal.
Information and Computation
- The Rewriting Logic Semantics Project: A Progress Report
- Jose Meseguer and Grigore Rosu
- Information and Computation, Volume 231(1), pp 38-69. 2013
- 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.
FCT 2011
- The Rewriting Logic Semantics Project: A Progress Report
- Jose Meseguer and Grigore Rosu
- FCT'11, LNCS 6914, pp 1-37. Invited talk. 2011
- 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.