TY - GEN
T1 - The rewriting logic semantics project
T2 - 18th International Symposium on Fundamentals of Computation Theory, FCT 2011
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 - 2011
Y1 - 2011
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.
UR - http://www.scopus.com/inward/record.url?scp=80052397503&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=80052397503&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-22953-4_1
DO - 10.1007/978-3-642-22953-4_1
M3 - Conference contribution
AN - SCOPUS:80052397503
SN - 9783642229527
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 37
BT - Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Proceedings
Y2 - 22 August 2011 through 25 August 2011
ER -