Title | ||
---|---|---|
The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration |
Abstract | ||
---|---|---|
IntroductionELAN [10,3] is a specification language based on rewriting logic [9,12]. Someof the characteristic features of ELAN are rewriting, AC-matching, and strategiesto control the non-determinism induced by non-confluent rewrite systems. Hence,AC-matching and strategies are two sources of non-determinism. The specificityof ELAN consists of integrating the two forms of non-determinism plus deterministicrule-based computations in the same environment. The development ofELAN... |
Year | DOI | Venue |
---|---|---|
2002 | 10.1016/S1571-0661(04)80426-2 | Electronic Notes in Theoretical Computer Science |
Keywords | Field | DocType |
specification language,rewriting logic | Programming language,Computer science,Theoretical computer science,Rewriting | Journal |
Volume | Issue | ISSN |
65 | 3 | 1571-0661 |
Citations | PageRank | References |
0 | 0.34 | 10 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mark Van Den Brand | 1 | 1298 | 110.20 |
Pierre-etienne Moreau | 2 | 598 | 40.40 |
Christophe Ringeissen | 3 | 651 | 49.35 |