A rewriting logic approach to operational semantics

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, reductio...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Information and computation Jg. 207; H. 2; S. 305 - 340
Hauptverfasser:	Şerbănuţă, Traian Florin, Roşu, Grigore, Meseguer, José
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 01.02.2009
Schlagworte:	Operational semantics Rewriting logic Rewriting logic semantics Operational semantics Rewriting logic Rewriting logic semantics
ISSN:	0890-5401, 1090-2651
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!