The rewriting logic semantics project |
| |
Authors: | José Meseguer,Grigore Roşu |
| |
Affiliation: | Department of Computer Science, University of Illinois at Urbana-Champaign, United States |
| |
Abstract: | 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 provides 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. |
| |
Keywords: | Semantics and analysis of programming languages Rewriting logic |
本文献已被 ScienceDirect 等数据库收录! |