Abstract | ||
---|---|---|
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or to describe and execute deterministic as well as non-deterministic rule-based processes. With the general goal to make precise a rewriting logic-based semantics of ELAN, this paper has three contributions: a presentation of the concepts of rules and strategies available in ELAN, an expression of rewrite rules with matching conditions in conditional rewriting logic, and finally an enrichment mechanism of a rewrite theory into a strategy theory in conditional rewriting logic. |
Year | DOI | Venue |
---|---|---|
2002 | 10.1016/S0304-3975(01)00358-9 | Theor. Comput. Sci. |
Keywords | DocType | Volume |
computational system,Rewriting calculus,general goal,Strategy theory,logical framework,logic point,Rule-based programming,enrichment mechanism,Computational system,strategy theory,Conditional rewriting logic,non-deterministic rule-based process,logic-based semantics,class entity | Journal | 285 |
Issue | ISSN | Citations |
2 | Theoretical Computer Science | 79 |
PageRank | References | Authors |
2.91 | 41 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
peter borovansk | 1 | 318 | 18.65 |
claude kirchner | 2 | 409 | 28.71 |
Hélène Kirchner | 3 | 1655 | 152.66 |
Pierre-etienne Moreau | 4 | 598 | 40.40 |