The rewriting logic semantics project: A progress report

José Meseguer; Grigore Roşu

doi:10.1016/j.ic.2013.08.004

The rewriting logic semantics project: A progress report

Research output: Contribution to journal › Article › peer-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 language	English (US)
Pages (from-to)	38-69
Number of pages	32
Journal	Information and Computation
Volume	231
DOIs	https://doi.org/10.1016/j.ic.2013.08.004
State	Published - 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

Online availability

10.1016/j.ic.2013.08.004

Library availability

Discover UIUC Full Text

Cite this

@article{a5a819bb9be24566b703ea055664ca68,

title = "The rewriting logic semantics project: A progress report",

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.",

keywords = "K, Maude, Programming languages, Rewriting logic, Semantics",

author = "Jos{\'e} Meseguer and Grigore Ro{\c s}u",

note = "Funding Information: We thank the organizers of FCT 2011 for giving us the opportunity of presenting these ideas in preliminary form at the FCT 2011 conference, and both them and the FCT 2011 participants for their comments, which have helped us develop the expanded and improved version presented here. We also thank all the researchers involved in the rewriting logic semantics project for their many contributions, which we have tried to summarize in this paper without any claims of completeness. This research has been partially supported by NSF Grants CNS 0834709 , CCF 0905584 , CCF 0916893 , and CCF 1218605 , by AFOSR Grant FA8750-11-2-0084 , by NSA contract H98230-10-C-0294 , by (Romanian) SMIS–CSNR 602-12516 contract No. 161/15.06.2010 , and by the Boeing Grant C8088 .",

year = "2013",

doi = "10.1016/j.ic.2013.08.004",

language = "English (US)",

volume = "231",

pages = "38--69",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier Inc.",

}

TY - JOUR

T1 - The rewriting logic semantics project

T2 - A progress report

AU - Meseguer, José

AU - Roşu, Grigore

N1 - Funding Information: We thank the organizers of FCT 2011 for giving us the opportunity of presenting these ideas in preliminary form at the FCT 2011 conference, and both them and the FCT 2011 participants for their comments, which have helped us develop the expanded and improved version presented here. We also thank all the researchers involved in the rewriting logic semantics project for their many contributions, which we have tried to summarize in this paper without any claims of completeness. This research has been partially supported by NSF Grants CNS 0834709 , CCF 0905584 , CCF 0916893 , and CCF 1218605 , by AFOSR Grant FA8750-11-2-0084 , by NSA contract H98230-10-C-0294 , by (Romanian) SMIS–CSNR 602-12516 contract No. 161/15.06.2010 , and by the Boeing Grant C8088 .

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

KW - K

KW - Maude

KW - Programming languages

KW - Rewriting logic

KW - Semantics

UR - http://www.scopus.com/inward/record.url?scp=84887121539&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84887121539&partnerID=8YFLogxK

U2 - 10.1016/j.ic.2013.08.004

DO - 10.1016/j.ic.2013.08.004

M3 - Article

AN - SCOPUS:84887121539

SN - 0890-5401

VL - 231

SP - 38

EP - 69

JO - Information and Computation

JF - Information and Computation

ER -

The rewriting logic semantics project: A progress report

Abstract

Keywords

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this