Eelco Visser - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged rewriting strategies

Minimization strategies for maximally parallel multiset rewriting systemsArtiom Alhazov, Sergey Verlan. TCS, 412(17):1581-1591, 2011. [doi]

The Second Rewrite Engines CompetitionFrancisco Durán, Manuel Roldán, Emilie Balland, Mark G. J. van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Shevchenko, Eelco Visser. ENTCS, 238(3):281-291, 2009. [doi]

Termination of rewriting under strategiesIsabelle Gnaedig, Hélène Kirchner. tocl, 10(2), 2009. [doi]

Admissible Strategies in Infinite Games over GraphsMarco Faella. mfcs 2009: 307-318 [doi]

Shifting Strategy for Geometric Graphs without GeometryImran A. Pirwani. isaac 2009: 362-371 [doi]

Stratego/XT 0.17. A language and toolset for program transformationMartin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser. SCP, 72(1-2):52-70, 2008. [doi]

Code Generation by Model TransformationZef Hemel, Lennart C. L. Kats, Eelco Visser. ICMT 2008: 183-198 [doi]

Rewriting Strategies in JavaEmilie Balland, Pierre-Etienne Moreau, Antoine Reilles. ENTCS, 219:97-111, 2008. [doi]

On Term-Graph Rewrite StrategiesRachid Echahed. ENTCS, 204:99-110, 2008. [doi]

Structured strategies in games on graphsRamaswamy Ramanujam, Sunil Easaw Simon. BIRTHDAY 2008: 553-574

Stratego/XT 0.16: components for transformation systemsMartin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser. PEPM 2006: 95-99 [doi]

Program Transformation with Scoped Dynamic Rewrite RulesMartin Bravenboer, Arthur van Dam, Karina Olmos, Eelco Visser. FUIN, 69(1-2):123-178, 2006. [doi]

Dynamic Grouping Strategies Based on a Conceptual Graph for Cooperative LearningBinShyan Jong, YuLung Wu, TeYi Chan. tkde, 18(6):738-747, 2006. [doi]

A survey of strategies in rule-based program transformation systemsEelco Visser. JSC, 40(1):831-873, 2005. [doi]

Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite RulesKarina Olmos, Eelco Visser. CC 2005: 204-220 [doi]

Tree automata for rewrite strategiesPierre Réty, Julie Vuotto. JSC, 40(1):749-794, 2005. [doi]

Reduction Strategies for Left-Linear Term Rewriting SystemsYoshihito Toyama. BIRTHDAY 2005: 198-223 [doi]

Heuristic Colour Assignment Strategies for Merge Models in Graph ColouringIstván Juhos, Attila Tóth, Jano I. van Hemert. evoW 2005: 132-143 [doi]

A Detailed Study of the Attachment Strategies of New Autonomous Systems in the AS Connectivity GraphIngrid Daubechies, Konstantinos Drakakis, Tanya Khovanova. im, 2(2):185-246, 2005.

Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9Eelco Visser. Dagstuhl 2004: 216-238 [doi]

Strategic programming meets adaptive programmingRalf Lämmel, Eelco Visser, Joost Visser. AOSD 2003: 168-177 [doi]

A rewriting strategy for protocol verificationMonica Nesi, Giuseppina Rucci, Massimo Verdesca. ENTCS, 86(4):657-672, 2003. [doi]

Rewriting Strategies for Instruction SelectionMartin Bravenboer, Eelco Visser. RTA 2002: 237-251 [doi]

Strategies for Source-to-Source Constant ProgagationKarina Olmos, Eelco Visser. ENTCS, 70(6):156-175, 2002. [doi]

Building Interpreters with Rewriting StrategiesEelco Dolstra, Eelco Visser. ENTCS, 65(3):57-76, 2002. [doi]

Applying Crossing Reduction Strategies to Layered Compound GraphsMichael Forster. gd 2002: 276-284 [doi]

Regular Sets of Descendants by Some Rewrite StrategiesPierre Réty, Julie Vuotto. RTA 2002: 129-143 [doi]

Symbolic Strategy Synthesis for Games on Pushdown GraphsThierry Cachat. icalp 2002: 704-715 [doi]

Scoped Dynamic Rewrite RulesEelco Visser. ENTCS, 59(4):375-396, 2001. [doi]

A Survey of Strategies in Program Transformation SystemsEelco Visser. ENTCS, 57:109-143, 2001. [doi]

Stratego: A Language for Program Transformation Based on Rewriting StrategiesEelco Visser. RTA 2001: 357-362 [doi]

Fusing Logic and Control with Local Transformations: An Example OptimizationPatricia Johann, Eelco Visser. ENTCS, 57:144-162, 2001. [doi]

Termination of Rewriting with Local StrategiesOlivier Fissore, Isabelle Gnaedig, Hélène Kirchner. TCS, 58(2):155-188, 2001. [doi]

Warm fusion in Stratego: A case study in generation of program transformation systemsPatricia Johann, Eelco Visser. AMAI, 29(1-4):1-34, 2000. [doi]

Strategic Pattern MatchingEelco Visser. RTA 1999: 30-44 [doi]

Constrained Graph Drawing with Evolution StrategiesP. Simula, Ilkka Karanta, Mikko Hiirsalmi. icscCd 1999:

A core language for rewritingEelco Visser, Zine-El-Abidine Benaissa. ENTCS, 15:422-441, 1998. [doi]

Building Program Optimizers with Rewriting StrategiesEelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach. ICFP 1998: 13-26 [doi]

Term rewriting with operator evaluation strategiesSteven Eker. ENTCS, 15:311-330, 1998. [doi]

A Functional View of Rewriting and Strategies for a Semantics of ELANPeter Borovanský, Claude Kirchner, Hélène Kirchner. FLOPS 1998: 143-166

Controlling rewriting: study and implementation of a strategy formalismPeter Borovanský. ENTCS, 15:299-310, 1998. [doi]

Optimizing Cut-and-Paste on Directed Graphs, with a User-Controlled Edge Reconstruction StrategyBertrand Ibrahim. vl 1998: 90-91

Specification of Rewriting StrategiesBas Luttik, Eelco Visser. ASF+SDF 1997:

Implementation of Term Rewritings with the Evaluation StrategyKazuhiro Ogata, Kokichi Futatsugi. plilp 1997: 225-239

Extremal paths in graphs - foundations, search strategies and related topicsUlrich Huckenbeck. Akademie Verlag, 1997.

The Majority Strategy on GraphsHenry Martyn Mulder. DAM, 80(1):97-105, 1997. [doi]

A Winning Strategy for the Ramsey Graph GameAleksandar Pekec. cpc, 5:267-276, 1996.

Narrowing Strategies for Arbitrary Canonical Rewrite SystemsAlexander Bockmayr, Stefan Krischer, Andreas Werner. FUIN, 24(1/2):125-155, 1995.

Development of Rewriting StrategiesAlexander A. Letichevsky. plilp 1993: 378-390

Strategies for Interconnection Networks: Some Methods from Graph TheoryJean-Claude Bermond, Charles Delorme, Jean-Jacques Quisquater. jpdc, 3(4):433-449, 1986.

runs on WebDSL