Back to Search
Start Over
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
- Source :
-
Theoretical Computer Science . Aug2002, Vol. 285 Issue 2, p319. 40p. - Publication Year :
- 2002
-
Abstract
- The large diffusion of concurrent and distributed systems has spawned in recent years a variety of new formalisms, equipped with features for supporting an easy specification of such systems. The aim of our paper is to analyze three proposals, namely rewriting logic, action calculi and tile logic, chosen among those formalisms designed for the description of rule-based systems. For each of these logics we first try to understand their foundations, then we briefly sketch some applications. The overall goal of our work is to find out a common layout where these logics can be recast, thus allowing for a comparison and an evaluation of their specific features. [Copyright &y& Elsevier]
- Subjects :
- *LOGIC
*REWRITING systems (Computer science)
Subjects
Details
- Language :
- English
- ISSN :
- 03043975
- Volume :
- 285
- Issue :
- 2
- Database :
- Academic Search Index
- Journal :
- Theoretical Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- 7855474
- Full Text :
- https://doi.org/10.1016/S0304-3975(01)00362-0