The Rewriting Logic Semantics Project

13 years 5 months ago
The Rewriting Logic Semantics Project
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding their respective limitations and allowing succinct semantic definitions. The fact that a rewrite logic theory's axioms include both equations and rewrite rules a useful "abstraction dial" to find the right balance between abstraction and computational observability in semantic definitions. Such semantic definitions are directly executable as interpreters in a rewriting logic language such as Maude, whose generic formal tools can be used to endow those interpreters with powerful program analysis capabilities. Key words: Semantics and analysis of programming languages, rewriting logic
José Meseguer, Grigore Rosu
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Authors José Meseguer, Grigore Rosu
Comments (0)