Language Definitions as Rewrite Theories - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Vlad Rusu, Dorel Lucanu, Traian-Florin Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu. Language Definitions as Rewrite Theories. Journal of Logic and Algebraic Methods in Programming, 85(1 Part 1):98-120, January 2016.

The following is a technical report version of this publication:

Language Definitions as Rewrite TheoriesVlad Rusu, Lucanu, Dorel, Serbanuta, Traian Florin , Arusoaie, Andrei, Stefanescu, Andrei, Grigore Rosu. Preprint 2015.

The following are older variants of this publication:

The following publications are possibly variants of this publication:

Language Definitions as Rewrite TheoriesArusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad, Serbanuta, Traian Florin , Stefanescu, Andrei, Grigore Rosu. In International Workshop on Rewriting Logic and Application. 2014:

A rewriting logic approach to operational semanticsTraian-Florin Serbanuta, Grigore Rosu, José Meseguer. iandc, 207(2):305-340, 2009. [doi]

Language Definitions as Rewrite TheoriesAndrei Arusoaie, Dorel Lucanu, Vlad Rusu, Traian-Florin Serbanuta, Andrei Stefanescu, Grigore Rosu. WRLA 2014: 97-112 [doi]

Language definitions as rewrite theoriesVlad Rusu, Dorel Lucanu, Traian-Florin Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu. jlp, 85(1):98-120, 2016. [doi]

runs on WebDSL