International audienceIn any language designed to express transformations, the notion of rewrite rule is a key feature. Its conciseness as well as its strong theoretical foundations are essential. The notion of strategy is complementary: this describes how rules are applied. In this paper, we show how a high-level strategy language can be implemented in a Java setting. We present the integration of the visitor combinator design pattern into Tom. This corresponds to an interpreter for strategy expressions. To be more efficient, we present a compilation method based on bytecode specialization. This low-level transformation is expressed in Tom itself, using rules and strategies
International audienceThis paper presents an overview on the use of the rewriting calculus to expres...
User-definable strategies for the application of rewrite rules provide a means to construct transfor...
AbstractProgram transformation is used in a wide range of applications including compiler constructi...
AbstractIn any language designed to express transformations, the notion of rewrite rule is a key fea...
International audienceIn this paper we present the essential feature we have considered when designi...
AbstractELAN was one of the first rule based language to introduce a clear separation between the no...
International audienceIn object programming languages, the Visitor design pattern allows separation ...
International audienceIn this paper, we present a term rewriting based library for manipulating Java...
Following the experience of Elan, the Tom language was devel- oped to provide rewrite tools for impl...
International audienceWe present the Tom language that extends Java with the purpose ofproviding hig...
Developing programming paradigms and languages that ease the program-mers' job of writing quality re...
AbstractIn this paper, we present a term rewriting based library for manipulating Java bytecode. We ...
AbstractIn this paper, we investigate the idea of controlling rewriting by strategies and we develop...
International audienceRewriting is a formalism widely used in computer science and mathematical logi...
In this paper, we investigate the idea of controlling rewriting by strategies and we develop a strat...
International audienceThis paper presents an overview on the use of the rewriting calculus to expres...
User-definable strategies for the application of rewrite rules provide a means to construct transfor...
AbstractProgram transformation is used in a wide range of applications including compiler constructi...
AbstractIn any language designed to express transformations, the notion of rewrite rule is a key fea...
International audienceIn this paper we present the essential feature we have considered when designi...
AbstractELAN was one of the first rule based language to introduce a clear separation between the no...
International audienceIn object programming languages, the Visitor design pattern allows separation ...
International audienceIn this paper, we present a term rewriting based library for manipulating Java...
Following the experience of Elan, the Tom language was devel- oped to provide rewrite tools for impl...
International audienceWe present the Tom language that extends Java with the purpose ofproviding hig...
Developing programming paradigms and languages that ease the program-mers' job of writing quality re...
AbstractIn this paper, we present a term rewriting based library for manipulating Java bytecode. We ...
AbstractIn this paper, we investigate the idea of controlling rewriting by strategies and we develop...
International audienceRewriting is a formalism widely used in computer science and mathematical logi...
In this paper, we investigate the idea of controlling rewriting by strategies and we develop a strat...
International audienceThis paper presents an overview on the use of the rewriting calculus to expres...
User-definable strategies for the application of rewrite rules provide a means to construct transfor...
AbstractProgram transformation is used in a wide range of applications including compiler constructi...