Morten Heine Srensen. A grammar-based dataflow analysis to stop deforestation. In S. Tison, editor, Colloquium on Trees in Algebra and Programming, volume 787 of Lecture Notes in Computer Science, pages 335--351. Springer-Verlag, 1994. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Equational Semantics - Correnson (1999) (2 citations) (Correct)
....input list. 7. Conclusion This work comes from a large comparative study of various existing methods to perform deforestation and partial evaluation in various programming paradigm. Historically, we compared [3, 2, 1] the deforestation of attribute grammars [5, 6, 12] the Wadler deforestation [16, 13, 7] in functional programming, many works about folds [4, 9] and hylomorphisms [10, 15] In each of these formalisms, there were many interesting ideas. But they were sometimes restricted to one particular class of algorithms but sometimes more powerful than another method on the same class. However, ....
Morten Heine Srensen. A grammar-based data-flow analysis to stop deforestation. In S. Tison, editor, Colloquium on Trees in Algebra and Programming, volume 787 of Lecture Notes in Computer Science, pages 335--351. Springer-Verlag, 1994.
Equational Semantics - Correnson (1999) (2 citations) (Correct)
....input list. 7. Conclusion This work comes from a large comparative study of various existing methods to perform deforestation and partial evaluation in various programming paradigm. Historically, we compared [3, 2, 1] the deforestation of attribute grammars [5, 6, 12] the Wadler deforestation [16, 13, 7] in functional programming, many works about folds [4, 9] and hylomorphisms [10, 15] In each of these formalisms, there were many interesting ideas. But they were sometimes restricted to one particular class of algorithms but sometimes more powerful than another method on the same class. However, ....
Morten Heine Srensen. A grammar-based data-flow analysis to stop deforestation. In S. Tison, editor, Colloquium on Trees in Algebra and Programming, volume 787 of Lecture Notes in Computer Science, pages 335--351. Springer-Verlag, 1994.
Equational Semantics - Correnson (1999) (2 citations) (Correct)
....with append 8 Conclusion This work comes from a large comparative study of various existing methods to perform deforestation and partial evaluation in various programming paradigm. Historically, we compared [3, 2, 1] the deforestation of attribute grammars [5, 6, 12] the Wadler deforestation [16, 13, 7] in functional programming, many works let fpfun2 = fun t38 ( fun t39 (match t38 with nil t39 cons t41 t42 ( cons t41) fpfun2 t42) t39) let f = fun t16 ( fun t17 ( fun t15 ( fpfun2 t16) append t17) t15) Figure 4: Better composition with append let revho ....
Morten Heine Sørensen. A grammar-based dataflow analysis to stop deforestation. In S. Tison, editor, Colloquium on Trees in Algebra and Programming, volume 787 of Lecture Notes in Computer Science, pages 335--351. Springer-Verlag, 1994.
Equationnal Semantics - Correnson, Duris, Parigot, Roussel (Correct)
....have been found for them and will be exposed in a technical paper. This work comes from our large comparative study of various existing methods of similar program transformations. Historically, we compared [5, 4, 3] the deforestation of attribute grammars [7, 8, 15] the Wadler deforestation [21, 18, 10] in functional programming, many works about folds [6, 12] and hylomorphisms [13, 19] In each of these formalisms, there were many interesting ideas. In this context, equationnal semantics have been especially designed to gather all of them in an homogeneous way. The key of our approach is to ....
Morten Heine Sørensen. A grammar-based dataflow analysis to stop deforestation. In S. Tison, editor, Colloquium on Trees in Algebra and Programming, volume 787 of Lecture Notes in Computer Science, pages 335--351. Springer-Verlag, 1994.
Equational Semantics - Correnson (1999) (2 citations) (Correct)
No context found.
Morten Heine Srensen. A grammar-based dataflow analysis to stop deforestation. In S. Tison, editor, Colloquium on Trees in Algebra and Programming, volume 787 of Lecture Notes in Computer Science, pages 335--351. Springer-Verlag, 1994.
Two for the Price of One: Composing Partial Evaluation and.. - Sperber, Thiemann (1997) (10 citations) (Correct)
No context found.
Morten Heine Sørensen. A grammar-based data-flow analysis to stop deforestation. In Sophie Tison, editor, Proc. Trees in Algebra and Programming, pages 335--351, Edinburgh, UK, April 1994. Springer-Verlag. LNCS 787.
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