AbstractThis paper presents an overview on the use of the rewriting calculus to express rewrite strategies. We motivate first the use of rewrite strategies by examples in the ELAN language. We then show how this has been modeled in the initial version of the rewriting calculus and how the matching power of this framework facilitates the representation of powerful strategies
AbstractELAN implements computational systems, a concept that combines two first class entities: rew...
AbstractThe Rewriting Calculus has been proposed as a language for defining term rewriting strategie...
AbstractThe Rewriting Calculus has been proposed as a language for defining term rewriting strategie...
International audienceThis paper presents an overview on the use of the rewriting calculus to expres...
AbstractThis paper presents an overview on the use of the rewriting calculus to express rewrite stra...
International audienceThis paper presents an overview on the use of the rewriting calculus to expres...
AbstractELAN implements computational systems, a concept that combines two first class entities: rew...
In this paper, we investigate the idea of controlling rewriting by strategies and we develop a strat...
AbstractIn this paper, we investigate the idea of controlling rewriting by strategies and we develop...
AbstractThis is a position paper preparing the round table organized during the 4th International Wo...
AbstractIn this paper, we investigate the idea of controlling rewriting by strategies and we develop...
We introduce computational systems to formalise the notion of rewriting directed by user defined str...
Colloque sur invitation.We have introduced computational systems as the notion of rewriting directed...
Article dans revue scientifique avec comité de lecture.ELAN implements computational systems, a conc...
Colloque sur invitation.In this paper, we consider term rewriting from a functional point of view. A...
AbstractELAN implements computational systems, a concept that combines two first class entities: rew...
AbstractThe Rewriting Calculus has been proposed as a language for defining term rewriting strategie...
AbstractThe Rewriting Calculus has been proposed as a language for defining term rewriting strategie...
International audienceThis paper presents an overview on the use of the rewriting calculus to expres...
AbstractThis paper presents an overview on the use of the rewriting calculus to express rewrite stra...
International audienceThis paper presents an overview on the use of the rewriting calculus to expres...
AbstractELAN implements computational systems, a concept that combines two first class entities: rew...
In this paper, we investigate the idea of controlling rewriting by strategies and we develop a strat...
AbstractIn this paper, we investigate the idea of controlling rewriting by strategies and we develop...
AbstractThis is a position paper preparing the round table organized during the 4th International Wo...
AbstractIn this paper, we investigate the idea of controlling rewriting by strategies and we develop...
We introduce computational systems to formalise the notion of rewriting directed by user defined str...
Colloque sur invitation.We have introduced computational systems as the notion of rewriting directed...
Article dans revue scientifique avec comité de lecture.ELAN implements computational systems, a conc...
Colloque sur invitation.In this paper, we consider term rewriting from a functional point of view. A...
AbstractELAN implements computational systems, a concept that combines two first class entities: rew...
AbstractThe Rewriting Calculus has been proposed as a language for defining term rewriting strategie...
AbstractThe Rewriting Calculus has been proposed as a language for defining term rewriting strategie...
DOI
Add to ORKG