A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

Traian Florin Şerbǎnuţǎ, Grigore Roşu, José Meseguer

Research output: Contribution to journalArticle

Abstract

This paper shows how rewriting logic semantics (RLS) can be used as a computational logic framework for operational semantic definitions of programming languages. Several operational semantics styles are addressed: big-step and small-step structural operational semantics (SOS), modular SOS, reduction semantics with evaluation contexts, and continuation-based semantics. Each of these language definitional styles can be faithfully captured as an RLS theory, in the sense that there is a one-to-one correspondence between computational steps in the original language definition and computational steps in the corresponding RLS theory. A major goal of this paper is to show that RLS does not force or pre-impose any given language definitional style, and that its flexibility and ease of use makes RLS an appealing framework for exploring new definitional styles.

Original languageEnglish (US)
Pages (from-to)125-141
Number of pages17
JournalElectronic Notes in Theoretical Computer Science
Volume192
Issue number1 SPEC. ISS.
DOIs
StatePublished - Oct 24 2007

Keywords

  • operational semantics
  • programming languages
  • rewriting logic

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A Rewriting Logic Approach to Operational Semantics (Extended Abstract)'. Together they form a unique fingerprint.

  • Cite this