Modular rewriting semantics of programming languages

José Meseguer, Christiano Braga

Research output: Contribution to journalArticlepeer-review


We present a general method to achieve modularity of semantic definitions of programming languages specified as rewrite theories. This provides modularity for a language specification method that combines and extends the best features of both SOS and algebraic semantics. The relationship to Mosses' modular operational semantics (MSOS) is explored in detail, yielding a semantics-preserving translation that could support execution and analysis of MSOS specifications in Maude.

Original languageEnglish (US)
Pages (from-to)364-378
Number of pages15
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
StatePublished - 2004

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Modular rewriting semantics of programming languages'. Together they form a unique fingerprint.

Cite this