Modular rewriting semantics of programming languages

José Meseguer, Christiano Braga

Research output: Contribution to journalArticlepeer-review

Abstract

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)
Volume3116
StatePublished - Dec 1 2004

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

Cite this