Incremental type-checking for free: using scope graphs to derive incremental type-checkersAron Zwaan, Hendrik van Antwerpen, Eelco Visser. PACMPL, 6(OOPSLA2):424-448, 2022. [doi]
Language-parametric static semantic code completionDaniël A. A. Pelsmaeker, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser. PACMPL, 6(OOPSLA):1-30, 2022. [doi]
Intrinsically typed compilation with nameless labelsArjen Rouvoet, Robbert Krebbers, Eelco Visser. PACMPL, 5(POPL):1-28, 2021. [doi]
Scope States (Artifact)Hendrik van Antwerpen, Eelco Visser. darts, 7(2), 2021. [doi]
Configuration Space Exploration for Digital Printing SystemsJasper Denkers, Marvin Brunner, Louis van Gool, Eelco Visser. SEFM 2021: 423-442 [doi]
Scope States: Guarding Safety of Name Resolution in Parallel Type CheckersHendrik van Antwerpen, Eelco Visser. ECOOP 2021: [doi]
Gradually typing strategiesJeff Smits, Eelco Visser. SLE 2020: 1-15 [doi]
Knowing When to Ask: ArtifactArjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. 1.0, oct 2020. [doi]
FlowSpec: A Declarative Specification Language for Intra-Procedural Flow-Sensitive Data-Flow AnalysisJeff Smits, Guido Wachsmuth, Eelco Visser. JCL (JVLC), 57:100924, 2020. [doi]
Multi-purpose Syntax Definition with SDF3Luis Eduardo de Souza Amorim, Eelco Visser. SEFM 2020: 1-23 [doi]
Safety and Completeness of Disambiguation corresponds to Termination and Confluence of ReorderingLuís Eduardo Amorim de Souza, Eelco Visser. June 2020.
Intrinsically-typed definitional interpreters for linear, session-typed languagesArjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. CPP 2020: 284-298 [doi]
Evolution of the WebDSL runtime: reliability engineering of the WebDSL web programming languageDanny M. Groenewegen, Elmer van Chastelet, Eelco Visser. Programming 2020: 77-83 [doi]
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build SystemJeff Smits, Gabriël Konat, Eelco Visser. Programming, 4(3):16, 2020. [doi]
Gradually Typing Strategies - ArtifactJeff Smits, Eelco Visser. Zenodo, September 2020. [doi]
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specificationsArjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. PACMPL, 4(OOPSLA), 2020. [doi]
Knowing When to Ask: Sound scheduling of name resolution in type checkers derived from declarative specifications (Extended Version)Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. Zenodo, Oct 2020. [doi]
A Research Agenda for Formal Methods in the NetherlandsMarieke Huisman, Wouter Swierstra, Eelco Visser. Technical Report UU-CS-2019-004, 2019. [doi]
Fast and Safe Linguistic Abstraction for the MassesEelco Visser. In A Research Agenda for Formal Methods in the Netherlands. pages 10-11, July 2019. [doi]
From definitional interpreter to symbolic executorAdrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser. OOPSLA 2019: 11-20 [doi]
Precise, Efficient, and Expressive Incremental Build Scripts with PIEGabriël Konat, Roelof Sol, Sebastian Erdweg, Eelco Visser. In Second Workshop on Incremental Computing (IC 2019). 2019:
Towards language-parametric semantic editor services based on declarative type system specificationsDaniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser. OOPSLA 2019: 19-20 [doi]
Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper)Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser. ECOOP 2019: [doi]
Scopes and Frames Improve Meta-Interpreter SpecializationVlad A. Vergu, Andrew P. Tolmach, Eelco Visser. ECOOP 2019: [doi]
Editorial MessageEelco Visser. PACMPL, 3(OOPSLA), 2019.
From Whole Program Compilation to Incremental Compilation: A Critical CaseJeff Smits, Gabriël Konat, Eelco Visser. In Second Workshop on Incremental Computing (IC 2019). 2019:
Intrinsically-typed definitional interpreters for imperative languagesCasper Bach Poulsen, Arjen Rouvoet, Andrew P. Tolmach, Robbert Krebbers, Eelco Visser. PACMPL, 2(POPL), 2018. [doi]
PixieDust: Declarative Incremental User Interface Rendering Through Static Dependency TrackingNick ten Veen, Daco Harkes, Eelco Visser. WWW 2018: 721-729 [doi]
Scalable incremental building with dynamic task dependenciesGabriël Konat, Sebastian Erdweg, Eelco Visser. ASE 2018: 76-86 [doi]
Scopes as typesHendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser. PACMPL, 2(OOPSLA), 2018. [doi]
Migrating business logic to an incremental computing DSL: a case studyDaco Harkes, Elmer van Chastelet, Eelco Visser. SLE 2018: 83-96 [doi]
Towards Incremental Compilation for StrategoJeff Smits, Eelco Visser. Poster at SPLASH, 10 2018.
Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languagesLuis Eduardo de Souza Amorim, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser. SLE 2018: 3-15 [doi]
Toward a Language-Parametric Code Completion Editor ServiceDaniel A. A. Pelsmaeker, Eelco Visser. Poster at SPLASH, 2018.
Specializing a meta-interpreter: JIT compilation of Dynsem specifications on the Graal VMVlad A. Vergu, Eelco Visser. PPPJ 2018: [doi]
PIE: A Domain-Specific Language for Interactive Software Development PipelinesGabriël Konat, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser. Programming, 2(3):9, 2018. [doi]
Towards Zero-Overhead Disambiguation of Deep Priority ConflictsLuis Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser. Programming, 2(3):13, 2018. [doi]
Migrating custom DSL implementations to a language workbench (tool demo)Jasper Denkers, Louis van Gool, Eelco Visser. SLE 2018: 205-209 [doi]
Deep priority conflicts in the wild: a pilot studyLuis Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser. SLE 2017: 55-66 [doi]
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact)Daco Harkes, Eelco Visser. darts, 3(2), 2017. [doi]
IceDust 2: Derived Bidirectional Relations and Calculation Strategy CompositionDaco Harkes, Eelco Visser. ECOOP 2017: [doi]
FlowSpec: declarative dataflow analysis specificationJeff Smits, Eelco Visser. SLE 2017: 221-231 [doi]
IceDust Calculation Strategy Composition Performance in Web ApplicationsDaco Harkes, Eelco Visser. 2017.
The semantics of name resolution in graceVlad A. Vergu, Michiel Haisma, Eelco Visser. DLS 2017: 63-74 [doi]
Software that Meets Its IntentMarieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser. ISoLA 2016: 609-625 [doi]
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser. darts, 2(1), 2016. [doi]
Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax Language WorkbenchGabriël Konat, Luis Eduardo de Souza Amorim, Sebastian Erdweg, Eelco Visser. Language Workbench Challenge (LWC@SLE), 2016.
Principled syntactic code completion using placeholdersLuis Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser. SLE 2016: 163-175 [doi]
A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: an experience reportTim van der Lippe, Thomas Smith, Daniël A. A. Pelsmaeker, Eelco Visser. SCALA 2016: 65-74 [doi]
Bootstrapping Domain-Specific Meta-Languages in Language WorkbenchesGabriël Konat, Sebastian Erdweg, Eelco Visser. GPCE 2016: 47-58 [doi]
A constraint language for static semantic analysis based on scope graphsHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. PEPM 2016: 49-60 [doi]
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic SemanticsCasper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser. ECOOP 2016: [doi]
Towards Live Language DevelopmentGabriël Konat, Sebastian Erdweg, Eelco Visser. In Workshop on Live Programming Systems (LIVE). 2016:
Grace in Spoofax: Readable Specification and Implementation in OneMichiel Haisma, Vlad Vergu, Eelco Visser. Presented at GRACE 2016, 2016.
IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object GraphsDaco Harkes, Danny M. Groenewegen, Eelco Visser. ECOOP 2016: [doi]
Evaluating and comparing language workbenches: Existing results and benchmarks for the futureSebastian Erdweg, Tijs van der Storm, Markus Völter, Laurence Tratt, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning. Comp. Lang., Syst. \& Struct., 44:24-47, 2015. [doi]
DynSem: A DSL for Dynamic Semantics SpecificationVlad A. Vergu, Pierre Néron, Eelco Visser. RTA 2015: 365-378 [doi]
Understanding software through linguistic abstractionEelco Visser. SCP, 97:11-16, 2015. [doi]
A Constraint Language for Static Semantic Analysis based on Scope Graphs with ProofsHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Technical Report TUD-SERG-2015-009, 2015.
A Theory of Name ResolutionPierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. ESOP 2015: 205-231 [doi]
Conf.Researchr.Org: towards a domain-specific content management system for managing large conference websitesElmer van Chastelet, Eelco Visser, Craig Anslow. OOPSLA 2015: 50-51 [doi]
Domain-Specific Languages (Dagstuhl Seminar 15062)Sebastian Erdweg, Martin Erwig, Richard F. Paige, Eelco Visser. dagstuhl-reports, 5(2):26-43, 2015. [doi]
Language-Independent Type-Dependent Name ResolutionHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Technical Report TUD-SERG-2015-006, 2015.
Language Design with the Spoofax Language WorkbenchGuido Wachsmuth, Gabriël Konat, Eelco Visser. IEEE Software, 31(5):35-43, 2014. [doi]
Modular specification and dynamic enforcement of syntactic language constraints when generating codeSebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser. AOSD 2014: 241-252 [doi]
Separation of concerns in language definitionEelco Visser. AOSD 2014: 1-2 [doi]
Finding bugs in program generators by dynamic analysis of syntactic language constraintsSebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser. AOSD 2014: 17-20 [doi]
Unifying and Generalizing Relations in Role-Based Data Modeling and NavigationDaco Harkes, Eelco Visser. SLE 2014: 241-260 [doi]
A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language DesignsEelco Visser, Guido Wachsmuth, Andrew P. Tolmach, Pierre Néron, Vlad A. Vergu, Augusto Passalaqua, Gabriël Konat. OOPSLA 2014: 95-111 [doi]
DSL Engineering - Designing, Implementing and Using Domain-Specific LanguagesMarkus Völter, Sebastian Benz, Christian Dietrich, Birgit Engelmann, Mats Helander, Lennart C. L. Kats, Eelco Visser, Guido Wachsmuth. dslbook.org, 2013. [doi]
Robust Real-Time Synchronization between Textual and Graphical EditorsOskar van Rest, Guido Wachsmuth, Jim R. H. Steel, Jörn Guy Süß, Eelco Visser. ICMT 2013: 92-107 [doi]
The State of the Art in Language Workbenches - Conclusions from the Language Workbench ChallengeSebastian Erdweg, Tijs van der Storm, Markus Völter, Meinte Boersma, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning. SLE 2013: 197-217 [doi]
A Language Independent Task Engine for Incremental Name and Type AnalysisGuido Wachsmuth, Gabriël Konat, Vlad A. Vergu, Danny M. Groenewegen, Eelco Visser. SLE 2013: 260-280 [doi]
Integration of data validation and user interface concerns in a DSL for web applicationsDanny M. Groenewegen, Eelco Visser. SoSyM, 12(1):35-52, 2013. [doi]
A pure embedding of attribute grammarsAnthony M. Sloane, Lennart C. L. Kats, Eelco Visser. SCP, 78(10):1752-1769, 2013. [doi]
Declarative Name Binding and Scope RulesGabriël Konat, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser. SLE 2012: 311-331 [doi]
Natural and Flexible Error Recovery for Generated Modular Language EnvironmentsMaartje de Jonge, Lennart C. L. Kats, Eelco Visser, Emma Söderberg. TOPLAS, 34(4):15, 2012. [doi]
Software development environments on the web: a research agendaLennart C. L. Kats, Richard Vogelij, Karl Trygve Kalleberg, Eelco Visser. OOPSLA 2012: 99-116 [doi]
ICMT 2011 Special SectionJordi Cabot, Eelco Visser. jot, 11(2), 2012. [doi]
A language generic solution for name binding preservation in refactoringsMaartje de Jonge, Eelco Visser. LDTA 2012: 2 [doi]
The Spoofax Name Binding LanguageGabriël Konat, Vlad A. Vergu, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser. In Companion to the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2012, Tucson, AR, USA, October 19 - 26, 2012. 2012: [doi]
Automated evaluation of syntax error recoveryMaartje de Jonge, Eelco Visser. ASE 2012: 322-325 [doi]
Declarative specification of template-based textual editorsTobi Vollebregt, Lennart C. L. Kats, Eelco Visser. LDTA 2012: 1-7 [doi]
An Algorithm for Layout Preservation in Refactoring TransformationsMaartje de Jonge, Eelco Visser. SLE 2011: 40-59 [doi]
Testing domain-specific languagesLennart C. L. Kats, Rob Vermaas, Eelco Visser. OOPSLA 2011: 25-26 [doi]
Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007)Ganesan Ramalingam, Eelco Visser. SCP, 76(6):467-468, June 2011. [doi]
Declaratively programming the mobile web with MoblZef Hemel, Eelco Visser. OOPSLA 2011: 695-712 [doi]
Generating database migrations for evolving web applicationsSander Vermolen, Guido Wachsmuth, Eelco Visser. GPCE 2011: 83-92 [doi]
Dimensions of DSL DesignMarkus Völter, Eelco Visser. 2011.
Product Line Engineering Using Domain-Specific LanguagesMarkus Völter, Eelco Visser. SPLC 2011: 70-79 [doi]
Integrated language definition testing: enabling test-driven language developmentLennart C. L. Kats, Rob Vermaas, Eelco Visser. OOPSLA 2011: 139-154 [doi]
Mobl: the new language of the mobile webZef Hemel, Eelco Visser. OOPSLA 2011: 23-24 [doi]
Programming the Mobile Web with MoblZef Hemel, Eelco Visser. Technical Report TUD-SERG-2011-01, 2011.
Growing a language environment with editor librariesSebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser. GPCE 2011: 167-176 [doi]
SugarJ: library-based language extensibilitySebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser. In Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011. 2011: 187-188 [doi]
Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005)Robert Glück, Eelco Visser. SCP, 76(5):347-348, May 2011. [doi]
Reconstructing Complex Metamodel EvolutionSander Vermolen, Guido Wachsmuth, Eelco Visser. SLE 2011: 201-221 [doi]
Library-based model-driven software development with SugarJSebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser. OOPSLA 2011: 17-18 [doi]
Declaratively defining domain-specific language debuggersRicky T. Lindeman, Lennart C. L. Kats, Eelco Visser. GPCE 2011: 127-136 [doi]
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]
The Spoofax language workbench (poster paper)Lennart C. L. Kats, Eelco Visser. OOPSLA 2010: 237-238 [doi]
Domain-Specific Languages for Composable Editor PluginsLennart C. L. Kats, Karl Trygve Kalleberg, Eelco Visser. ENTCS, 253(7):149-163, 2010. [doi]
A Pure Object-Oriented Embedding of Attribute GrammarsAnthony M. Sloane, Lennart C. L. Kats, Eelco Visser. ENTCS, 253(7):205-219, 2010. [doi]
Interactive Disambiguation of Meta Programs with Concrete Object SyntaxLennart C. L. Kats, Karl Trygve Kalleberg, Eelco Visser. SLE 2010: 327-336 [doi]
Pure and declarative syntax definition: paradise lost and regainedLennart C. L. Kats, Eelco Visser, Guido Wachsmuth. OOPSLA 2010: 918-932 [doi]
The Spoofax language workbench: rules for declarative specification of languages and IDEsLennart C. L. Kats, Eelco Visser. OOPSLA 2010: 444-463 [doi]
Code generation by model transformation: a case study in transformation modularityZef Hemel, Lennart C. L. Kats, Danny M. Groenewegen, Eelco Visser. SoSyM, 9(3):375-402, 2010. [doi]
Separation of Concerns and Linguistic Integration in WebDSLDanny M. Groenewegen, Zef Hemel, Eelco Visser. IEEE Software, 27(5):31-37, 2010. [doi]
Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language PortabilityLennart C. L. Kats, Eelco Visser. SCAM 2010: 147-156 [doi]
The Third Rewrite Engines CompetitionFrancisco Durán, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark G. J. van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Eelco Visser. WRLA 2010: 243-261 [doi]
Preventing injection attacks with syntax embeddingsMartin Bravenboer, Eelco Dolstra, Eelco Visser. SCP, 75(7):473-495, 2010. [doi]
Performing Systematic Literature Reviews with Researchr: Tool DemonstrationEelco Visser. Technical Report TUD-SERG-2010-010, 2010. [doi]
Language extension and composition with language workbenchesMarkus Völter, Eelco Visser. OOPSLA 2010: 301-304 [doi]
Decorated Attribute Grammars: Attribute Evaluation Meets Strategic ProgrammingLennart C. L. Kats, Anthony M. Sloane, Eelco Visser. CC 2009: 142-157 [doi]
PIL: A Platform Independent Language for Retargetable DSLsZef Hemel, Eelco Visser. SLE 2009: 224-243 [doi]
Natural and Flexible Error Recovery for Generated ParsersMaartje de Jonge, Emma Nilsson-Nyman, Lennart C. L. Kats, Eelco Visser. SLE 2009: 204-223 [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]
Weaving web applications with WebDSL: (demonstration)Danny M. Groenewegen, Eelco Visser. OOPSLA 2009: 797-798 [doi]
Integration of Data Validation and User Interface Concerns in a DSL for Web ApplicationsDanny M. Groenewegen, Eelco Visser. SLE 2009: 164-173 [doi]
Software deployment in a dynamic cloud: From device to service orientation in a hospital environmentSander van der Burg, Eelco Dolstra, Eelco Visser, Merijn de Jonge. CLOUD 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]
Parse Table CompositionMartin Bravenboer, Eelco Visser. SLE 2008: 74-94 [doi]
Declarative Access Control for WebDSL: Combining Language Integration and Separation of ConcernsDanny M. Groenewegen, Eelco Visser. ICWE 2008: 175-188 [doi]
When Frameworks Let You Down. Platform-Imposed Constraints on the Design and Evolution of Domain-Specific LanguagesDanny M. Groenewegen, Zef Hemel, Lennart C. L. Kats, Eelco Visser. DSM 2008:
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]
Stratego/XT Reference ManualMartin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser. 2008. [doi]
WebDSL: a domain-specific language for dynamic web applicationsDanny M. Groenewegen, Zef Hemel, Lennart C. L. Kats, Eelco Visser. OOPSLA 2008: 779-780 [doi]
Generating Editors for Embedded Languages. Integrating SGLR into IMPLennart C. L. Kats, Karl Trygve Kalleberg, Eelco Visser. LDTA 2008:
Grammar Engineering Support for Precedence Rule Recovery and Compatibility CheckingEric Bouwers, Martin Bravenboer, Eelco Visser. ENTCS, 203(2):85-101, 2008. [doi]
Generating Version Convertors for Domain-Specific LanguagesGerardo de Geest, Sander Vermolen, Arie van Deursen, Eelco Visser. WCRE 2008: 197-201 [doi]
Heterogeneous Coupled Evolution of Software LanguagesSander Vermolen, Eelco Visser. MoDELS 2008: 630-644 [doi]
Mixing source and bytecode: a case for compilation by normalizationLennart C. L. Kats, Martin Bravenboer, Eelco Visser. OOPSLA 2008: 91-108 [doi]
WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web ApplicationsZef Hemel, Ruben Verhaaf, Eelco Visser. MoDELS 2008: 113-127 [doi]
Fusing a Transformation Language with an Open CompilerKarl Trygve Kalleberg, Eelco Visser. ENTCS, 203(2):21-36, 2008. [doi]
Code Generation by Model TransformationZef Hemel, Lennart C. L. Kats, Eelco Visser. ICMT 2008: 183-198 [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:
Designing Syntax Embeddings and Assimilations for Language LibrariesMartin Bravenboer, Eelco Visser. MoDELS 2007: 34-46 [doi]
Preventing injection attacks with syntax embeddingsMartin Bravenboer, Eelco Dolstra, Eelco Visser. GPCE 2007: 3-12 [doi]
Model-driven software evolution: A research agendaArie van Deursen, Eelco Visser, Jos Warmer. In Proceedings 1st International Workshop on Model-Driven Software Evolution. 2007: 41-49
WebDSL: A Case Study in Domain-Specific Language EngineeringEelco Visser. GTTSE 2007: 291-373 [doi]
Declarative, formal, and extensible syntax definition for AspectJMartin Bravenboer, Éric Tanter, Eelco Visser. OOPSLA 2006: 209-228 [doi]
Combining Aspect-Oriented and Strategic ProgrammingKarl Trygve Kalleberg, Eelco Visser. ENTCS, 147(1):5-30, 2006. [doi]
Stratego/XT 0.16: components for transformation systemsMartin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser. PEPM 2006: 95-99 [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]
Program Transformation with Scoped Dynamic Rewrite RulesMartin Bravenboer, Arthur van Dam, Karina Olmos, Eelco Visser. FUIN, 69(1-2):123-178, 2006. [doi]
Transformations for AbstractionsEelco Visser. SCAM 2005: [doi]
Combining Aspect-Oriented and Strategic ProgrammingKarl Trygve Kalleberg, Eelco Visser. Technical Report UU-CS-2005-030, 2005.
Service configuration managementEelco Dolstra, Martin Bravenboer, Eelco Visser. SCM 2005: 83-98 [doi]
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite RulesKarina Olmos, Eelco Visser. CC 2005: 204-220 [doi]
A survey of strategies in rule-based program transformation systemsEelco Visser. JSC, 40(1):831-873, 2005. [doi]
Generalized Type-Based Disambiguation of Meta Programs with Concrete Object SyntaxMartin Bravenboer, Rob Vermaas, Jurgen J. Vinju, Eelco Visser. GPCE 2005: 157-172 [doi]
Imposing a Memory Management Discipline on Software DeploymentEelco Dolstra, Eelco Visser, Merijn de Jonge. ICSE 2004: 583-592 [doi]
Nix: A Safe and Policy-Free System for Software DeploymentEelco Dolstra, Merijn de Jonge, Eelco Visser. lisa 2004: 79-92 [doi]
Transparantie in variabiliteit: Heldere keuzes in een eenduidige configuratieomgevingEelco Dolstra, Gert Florijn, Merijn de Jonge, Eelco Visser. Informatie, 46(1):18-21, February 2004.
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictionsMartin Bravenboer, Eelco Visser. OOPSLA 2004: 365-383 [doi]
Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract)Bernd Fischer, Eelco Visser. LOPSTR 2004: 56-58 [doi]
Program Transformation Mechanics. A Classification of Mechanisms for Program Transformation with a Survey of Existing Transformation SystemsJ. van Wijngaarden, Eelco Visser. Technical Report UU-CS-2003-048, 2003.
Retrofitting the AutoBayes Program Synthesis System with Concrete SyntaxBernd Fischer, Eelco Visser. Dagstuhl 2004: 239-253 [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]
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]
Strategic programming meets adaptive programmingRalf Lämmel, Eelco Visser, Joost Visser. AOSD 2003: 168-177 [doi]
Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9Eelco Visser. Dagstuhl 2004: 216-238 [doi]
The Reengineering WikiArie van Deursen, Eelco Visser. CSMR 2002: 217-220 [doi]
Building Interpreters with Rewriting StrategiesEelco Dolstra, Eelco Visser. ENTCS, 65(3):57-76, 2002. [doi]
Disambiguation Filters for Scannerless Generalized LR ParsersMark G. J. van den Brand, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser. CC 2002: 143-158 [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]
Meta-programming with Concrete Object SyntaxEelco Visser. GPCE 2002: 299-315 [doi]
The Essence of Strategic Programming. An inquiry into trans-paradigmatic genericityRalf Lämmel, Eelco Visser, Joost Visser. 2002.
A Survey of Strategies in Program Transformation SystemsEelco Visser. ENTCS, 57:109-143, 2001. [doi]
Collaborative Software DevelopmentMerijn de Jonge, Eelco Visser, Joost Visser. Technical Report SEN-R0113, 2001.
Guiding visitors: separating navigation from computationMartin Bravenboer, Eelco Visser. Technical Report UU-CS-2001-42, 2001.
XT: a bundle of program transformation toolsMerijn de Jonge, Eelco Visser, Joost Visser. ENTCS, 44(2):79-86, 2001. [doi]
Collaborative Software DevelopmentMerijn de Jonge, Eelco Visser, Joost Visser. 2001.
Fusing Logic and Control with Local Transformations: An Example OptimizationPatricia Johann, Eelco Visser. ENTCS, 57:144-162, 2001. [doi]
First-class Rules and Generic TraversalEelco Dolstra, Eelco Visser. Technical Report CS-2001-38, 2001.
Stratego: A Language for Program Transformation Based on Rewriting StrategiesEelco Visser. RTA 2001: 357-362 [doi]
Scoped Dynamic Rewrite RulesEelco Visser. ENTCS, 59(4):375-396, 2001. [doi]
The ASF+SDF Meta-environment: A Component-Based Language Development EnvironmentMark G. J. van den Brand, Arie van Deursen, Jan Heering, H. A. de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter A. Olivier, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser, Joost Visser. CC 2001: 365-370 [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]
A Bootstrapped Compiler for Strategies (Extended Abstract)Eelco Visser. In Strategies in Automated Deduction (STRATEGIES'99). 1999: 73-83
The Stratego Compiler. Specification of a Strategy LanguageEelco Visser. Draft, 1999.
Building Program Optimizers with Rewriting StrategiesEelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach. ICFP 1998: 13-26 [doi]
A core language for rewritingEelco Visser, Zine-El-Abidine Benaissa. ENTCS, 15:422-441, 1998. [doi]
Polymorphic Syntax DefinitionEelco Visser. TCS, 199(1-2):57-86, 1998. [doi]
From Context-free Grammars with Priorities to Character Class GrammarsEelco Visser. Technical Report P9717, 1997.
Scannerless Generalized-LR ParsingEelco Visser. Technical Report P9707, 1997.
Specification of Rewriting StrategiesBas Luttik, Eelco Visser. ASF+SDF 1997:
A Family of Syntax Definition FormalismsEelco Visser. Technical Report P9706, 1997.
A Case Study in Optimizing Parsing Schemata by Disambiguation FiltersEelco Visser. iwpt 1997: 210-224 [doi]
A Case Study in Optimizing Parsing Schemata by Disambiguation FiltersEelco Visser. In International Workshop on Parsing Technology (IWPT 1997). 1997: 210-224
Syntax Definition for Language PrototypingEelco Visser. PhD thesis, University of Amsterdam, September 1997.
Character ClassesEelco Visser. Technical Report P9708, 1997.
Generation of Formatters for Context-Free LanguagesMark G. J. van den Brand, Eelco Visser. TOSEM, 5(1):1-41, 1996. [doi]
Multi-Level SpecificationsEelco Visser. In Arie van Deursen, Jan Heering, Paul Klint, editors, Language Prototyping. An Algebraic Specification Approach. Volume 5 of AMAST Series in Computing, World Scientific, Singapore, September 1996.
The Asf+Sdf Meta-Environment Documentation Tools for Free!Mark G. J. van den Brand, Eelco Visser. tapsoft 1995: 803-804 [doi]
A Family of Syntax Definition FormalismsEelco Visser. ASF+SDF 1995:
Using Filters for the Disambiguation of Context-free GrammarsPaul Klint, Eelco Visser. In Proceedings of the ASMICS Workshop on Parsing Theory. 1994:
From Box to TeX: An algebraic approach to the generation of documentation toolsEelco Visser, Mark G. J. van den Brand. Technical Report P9420, 1994.
Combinatory Algebraic Specification & Compilation of List MatchingEelco Visser. Master's thesis, Department of Computer Science, University of Amsterdam, Amsterdam, June 1993.
Syntax and Static Semantics of Eiffel. A Case Study in Algebraic Specification TechniquesEelco Visser. December 1992.