Eelco Dolstra and Eelco Visser. Building Interpreters with Rewriting Strategies. Technical Report UU-CS-2002-022. Institute of Information and Computing Sciences, Utrecht University. May 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Partial Evaluation using Rewrite Rules - Specification Of Partial (Correct)
.... 1 a) 1 2 3) has to be given a name, it would look like: function pe 2 a 1 [ 1 2 3] The partially evaluated version of the function example as used before (input: my constructor (1 2) my constructor 3 4 a) 1 2) 3 4) becomes: example pe [ 1 2] 3 4 [ 1 2] [ 3 4] ] 4.1 An example To illustrate the architecture of partial evaluation using rewrite rules, an example will be given in this section. The example used here is the ackermann function: if ( m 0) n 1) if ( n 0) ackermann ( m 1) 1) ackermann ( m 1) ackermann m ( n 1) define ....
E. Dolstra and E. Visser. Building interpreters with rewriting strategies. In M. G. J. van den Brand and R. Lammel, editors,Workshop on Language Descriptions, Tools and Applications (LDTA'02), volume 65/3 ofElectronic Notes in Theoretical Computer Science, Grenoble, France, April 2002. Elsevier Science Publishers. (To appear)
Turning Dynamic Typing into Static Typing by Program.. - Olmos, Visser (2003) Self-citation (Visser) (Correct)
No context found.
E. Dolstra and E. Visser. Building interpreters with rewriting strategies. In M. G. J. van den Brand and R. L ammel, editors, Workshop on Language Descriptions, Tools and Applications (LDTA'02), volume 65/3 of Electronic Notes in Theoretical Computer Science, Grenoble, France, April 2002. Elsevier Science Publishers. 9
Turning Dynamic Typing into Static Typing by Program.. - Institute Of Information Self-citation (Visser) (Correct)
No context found.
E. Dolstra and E. Visser. Building interpreters with rewriting strategies. In M. G. J. van den Brand and R. L ammel, editors, Workshop on Language Descriptions, Tools and Applications (LDTA'02), volume 65/3 of Electronic Notes in Theoretical Computer Science, Grenoble, France, April 2002. Elsevier Science Publishers. 9
Program Transformation with Stratego/XT: Rules, Strategies.. - Visser (2003) (1 citation) Self-citation (Visser) (Correct)
No context found.
E. Dolstra and E. Visser. Building interpreters with rewriting strategies. In M. van den Brand and R. L ammel, editors, Workshop on Language Descriptions, Tools and Applications (LDTA'02), volume 65/3 of Electronic Notes in Theoretical Computer Science, Grenoble, France, April 2002. Elsevier Science Publishers.
Program Transformation with Stratego/XT: Rules, Strategies.. - Visser (2004) (1 citation) Self-citation (Visser) (Correct)
No context found.
E. Dolstra and E. Visser. Building interpreters with rewriting strategies. In M. G. J. van den Brand and R. L ammel, editors, Workshop on Language Descriptions, Tools and Applications (LDTA'02), volume 65/3 of Electronic Notes in Theoretical Computer Science, Grenoble, France, April 2002. Elsevier Science Publishers.
Constant Propagation - Olmos, Visser (2002) Self-citation (Visser) (Correct)
.... At the moment we are interested in investigating the possibility of combining several optimizations while a pro15 gram is being inspected in the style of [13] Constant propagation or in general information propagation is been used in partial evaluators [15] supercompilers [10] interpreters [8], as a few examples. In [8] dynamic rules are used to propagate information of the evaluation state of expressions. The present work can be extended and combined with other techniques such as program specialization and generalization in order to construct such systems. 5.2 Previous Work This ....
....in investigating the possibility of combining several optimizations while a pro15 gram is being inspected in the style of [13] Constant propagation or in general information propagation is been used in partial evaluators [15] supercompilers [10] interpreters [8] as a few examples. In [8] dynamic rules are used to propagate information of the evaluation state of expressions. The present work can be extended and combined with other techniques such as program specialization and generalization in order to construct such systems. 5.2 Previous Work This paper is part of an ongoing ....
Dolstra, E. and E. Visser, Building interpreters with rewriting strategies, in: M. van den Brand and R. Laemmel, editors, Workshop on Language Descriptions, Tools and Applications (LDTA'02), Electronic Notes in Theoretical Computer Science 65/3 (2002).
A Rule-based Approach to the Implementation of Evaluation.. - And Temur Kutsia (Correct)
No context found.
Eelco Dolstra and Eelco Visser. Building Interpreters with Rewriting Strategies. Technical Report UU-CS-2002-022. Institute of Information and Computing Sciences, Utrecht University. May 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC