Modular rewriting semantics in practice

Christiano Braga; José Meseguer

doi:10.1016/j.entcs.2004.06.019

Modular rewriting semantics in practice

Research output: Contribution to journal › Article › peer-review

Abstract

We present a general method to achieve modularity of semantic definitions of programming languages specified as rewrite theories, so that semantic rules do not have to be redefined in language extensions. We illustrate the practical use of this method by means of two language case studies: two different semantics for CCS, and three different semantics for the GNU bc language.

Original language	English (US)
Pages (from-to)	393-416
Number of pages	24
Journal	Electronic Notes in Theoretical Computer Science
Volume	117
Issue number	SPEC. ISS.
DOIs	https://doi.org/10.1016/j.entcs.2004.06.019
State	Published - Jan 20 2005

Keywords

Modularity
Programming languages semantics
Rewriting logic

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1016/j.entcs.2004.06.019

Library availability

Discover UIUC Full Text

Cite this

@article{9fc21b47b16a456a82332bef0ce840c9,

title = "Modular rewriting semantics in practice",

abstract = "We present a general method to achieve modularity of semantic definitions of programming languages specified as rewrite theories, so that semantic rules do not have to be redefined in language extensions. We illustrate the practical use of this method by means of two language case studies: two different semantics for CCS, and three different semantics for the GNU bc language.",

keywords = "Modularity, Programming languages semantics, Rewriting logic",

author = "Christiano Braga and Jos{\'e} Meseguer",

note = "Funding Information: Research supported by ONR Grant N00014-02-1-0715 and NSF Grant CCR-0234524. Braga would like to acknowledge additional support from CNPq under processes 552192/2002-3 and 300294/2003-4; and from PROPP/UFF.",

year = "2005",

month = jan,

day = "20",

doi = "10.1016/j.entcs.2004.06.019",

language = "English (US)",

volume = "117",

pages = "393--416",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "SPEC. ISS.",

}

TY - JOUR

T1 - Modular rewriting semantics in practice

AU - Braga, Christiano

AU - Meseguer, José

N1 - Funding Information: Research supported by ONR Grant N00014-02-1-0715 and NSF Grant CCR-0234524. Braga would like to acknowledge additional support from CNPq under processes 552192/2002-3 and 300294/2003-4; and from PROPP/UFF.

PY - 2005/1/20

Y1 - 2005/1/20

N2 - We present a general method to achieve modularity of semantic definitions of programming languages specified as rewrite theories, so that semantic rules do not have to be redefined in language extensions. We illustrate the practical use of this method by means of two language case studies: two different semantics for CCS, and three different semantics for the GNU bc language.

AB - We present a general method to achieve modularity of semantic definitions of programming languages specified as rewrite theories, so that semantic rules do not have to be redefined in language extensions. We illustrate the practical use of this method by means of two language case studies: two different semantics for CCS, and three different semantics for the GNU bc language.

KW - Modularity

KW - Programming languages semantics

KW - Rewriting logic

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

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

U2 - 10.1016/j.entcs.2004.06.019

DO - 10.1016/j.entcs.2004.06.019

M3 - Article

AN - SCOPUS:12344330446

SN - 1571-0661

VL - 117

SP - 393

EP - 416

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - SPEC. ISS.

ER -

Modular rewriting semantics in practice

Abstract

Keywords

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this