Sciweavers

41 search results - page 1 / 9
» Building Interpreters with Rewriting Strategies
Sort
View
ENTCS
2002
98views more  ENTCS 2002»
13 years 4 months ago
Building Interpreters with Rewriting Strategies
Eelco Dolstra, Eelco Visser
ENTCS
2008
101views more  ENTCS 2008»
13 years 4 months ago
Rewriting Strategies in Java
In 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 ...
Emilie Balland, Pierre-Etienne Moreau, Antoine Rei...
CORR
2010
Springer
79views Education» more  CORR 2010»
13 years 4 months ago
Variable elimination for building interpreters
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (t...
Julien Cohen, Jean-Louis Giavitto, Olivier Michel
FUIN
2008
88views more  FUIN 2008»
13 years 4 months ago
Validating Behavioral Component Interfaces in Rewriting Logic
Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredic...
Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
JUCS
2010
129views more  JUCS 2010»
13 years 3 months ago
An Extensible Interpreter Framework for Software Transactional Memory
: Software transactional memory (STM) is a new approach for coordinating concurrent threads, for which many different implementation strategies are currently being researched. In ...
Charlotte Herzeel, Pascal Costanza, Theo D'Hondt