Magne Haveraaen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged Stratego

Methods and Techniques for the Design and Implementation of Domain-Specific LanguagesZef Hemel. PhD thesis, Delft University of Technology, Delft, The Netherlands, January 2012.

Static consistency checking of web applications with WebDSLZef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser. JSC, 46(2):150-182, 2011. [doi]

STRATEGOS: A case-based approach to strategy making in SMEJerzy Surma. imcsit 2010: 265-269 [doi]

An Isabelle/HOL-based model of stratego-like traversal strategiesMarkus Kaiser, Ralf Lämmel. ppdp 2009: 93-104 [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]

Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsingLennart C. L. Kats, Maartje de Jonge, Emma Nilsson-Nyman, Eelco Visser. OOPSLA 2009: 445-464 [doi]

Decorated Attribute Grammars: Attribute Evaluation Meets Strategic ProgrammingLennart C. L. Kats, Anthony M. Sloane, Eelco Visser. CC 2009: 142-157 [doi]

Implementing a Domain-Specific Language Using Stratego/XT: An Experience PaperLeonard G. C. Hamey, Shirley Goldrei. ENTCS, 203(2):37-51, 2008. [doi]

Mixing source and bytecode: a case for compilation by normalizationLennart C. L. Kats, Martin Bravenboer, Eelco Visser. OOPSLA 2008: 91-108 [doi]

Grammar Engineering Support for Precedence Rule Recovery and Compatibility CheckingEric Bouwers, Martin Bravenboer, Eelco Visser. ENTCS, 203(2):85-101, 2008. [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]

Fusing a Transformation Language with an Open CompilerKarl Trygve Kalleberg, Eelco Visser. ENTCS, 203(2):21-36, 2008. [doi]

High-fidelity C/C++ code transformationDan G. Waddington, Bin Yao. SCP, 68(2):64-78, 2007. [doi]

Spoofax: An Interactive Development Environment for Program Transformation with Stratego/XTKarl Trygve Kalleberg, Eelco Visser. In Proceedings of the Seventh Workshop on Language Descriptions, Tools and Applications (LDTA 2007). 2007:

Semantics of static pointcuts in aspectJPavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere. POPL 2007: 11-23 [doi]

WebDSL: A Case Study in Domain-Specific Language EngineeringEelco Visser. GTTSE 2007: 291-373 [doi]

Stratego: a programming language for program manipulationKarl Trygve Kalleberg. crossroads, 12(3):4, 2006. [doi]

MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XTMartin Bravenboer, René de Groot, Eelco Visser. GTTSE 2006: 297-311 [doi]

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]

Combining Aspect-Oriented and Strategic ProgrammingKarl Trygve Kalleberg, Eelco Visser. ENTCS, 147(1):5-30, 2006. [doi]

Transformations for AbstractionsEelco Visser. SCAM 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]

Concrete syntax for objects: domain-specific language embedding and assimilation without restrictionsMartin Bravenboer, Eelco Visser. OOPSLA 2004: 365-383 [doi]

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ ProgramsAnya Helene Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser. SCAM 2003: 65 [doi]

Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for OctaveKarina Olmos, Eelco Visser. SCAM 2003: 141-150 [doi]

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

Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract)Bernd Fischer, Eelco Visser. LOPSTR 2004: 56-58 [doi]

Retrofitting the AutoBayes Program Synthesis System with Concrete SyntaxBernd Fischer, Eelco Visser. Dagstuhl 2004: 239-253 [doi]

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

Meta-programming with Concrete Object SyntaxEelco Visser. GPCE 2002: 299-315 [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]

Stratego Expert System ShellCaspar Treijtel, Léon J. M. Rothkrantz. gameon 2001: 17

XT: a bundle of program transformation toolsMerijn de Jonge, Eelco Visser, Joost Visser. ENTCS, 44(2):79-86, 2001. [doi]

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

Fusing Logic and Control with Local Transformations: An Example OptimizationPatricia Johann, Eelco Visser. ENTCS, 57:144-162, 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]

Language Independent Traversals for Program TransformationEelco Visser. In Workshop on Generic Programming (WGP 2000). 2000:

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]

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

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

runs on WebDSL