Back to Search
Start Over
The rewriting logic semantics project
- Source :
-
Theoretical Computer Science . Apr2007, Vol. 373 Issue 3, p213-237. 25p. - Publication Year :
- 2007
-
Abstract
- 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. [Copyright &y& Elsevier]
- Subjects :
- *LOGIC
*SEMANTICS
*AXIOMS
*FOUNDATIONS of geometry
*MATHEMATICS
Subjects
Details
- Language :
- English
- ISSN :
- 03043975
- Volume :
- 373
- Issue :
- 3
- Database :
- Academic Search Index
- Journal :
- Theoretical Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- 24427797
- Full Text :
- https://doi.org/10.1016/j.tcs.2006.12.018