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

Celý popis

Podrobná bibliografia

Vydané v:	Information and computation Ročník 207; číslo 2; s. 305 - 340
Hlavní autori:	Şerbănuţă, Traian Florin, Roşu, Grigore, Meseguer, José
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 01.02.2009
Predmet:	Operational semantics Rewriting logic Rewriting logic semantics Operational semantics Rewriting logic Rewriting logic semantics
ISSN:	0890-5401, 1090-2651
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!