ELAN from a rewriting logic point of view

作     者：Borovansky, P Kirchner, C Kirchner, H Moreau, PE 

作者机构：Comenius Univ Bratislava 84215 Slovakia CNRS LORIA F-54506 Vandoeuvre Les Nancy France INRIA F-54506 Vandoeuvre Les Nancy France 

出 版 物：《THEORETICAL COMPUTER SCIENCE》 (理论计算机科学)

年 卷 期：2002年第285卷第2期

页      面：155-185页

核心收录：

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：Esprit Basic Research Working Group  (22457) 

主　　题：computational system conditional rewriting logic strategy theory rule-based programming rewriting calculus 

摘      要：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. (C) 2002 Elsevier Science B.V. All rights reserved.