% Bibliography downloaded from https://researchr.org/downloadbibtex/bibliography/serg-trace @article{DolstraFJV04, title = {Transparantie in variabiliteit: Heldere keuzes in een eenduidige configuratieomgeving}, author = {Eelco Dolstra and Gert Florijn and Merijn de Jonge and Eelco Visser}, year = {2004}, month = {February}, researchr = {https://researchr.org/publication/DolstraFJV04}, cites = {0}, citedby = {0}, journal = {Informatie}, volume = {46}, number = {1}, pages = {18-21}, } @article{BouwersBV08, title = {Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking}, author = {Eric Bouwers and Martin Bravenboer and Eelco Visser}, year = {2008}, doi = {10.1016/j.entcs.2008.03.046}, url = {http://dx.doi.org/10.1016/j.entcs.2008.03.046}, tags = {programming languages, semantics, rule-based, syntax definition, YACC, precedence rule, SDF, Stratego/XT, language engineering, grammar engineering, PHP, rules, C++, migration, compiler, programming, operational semantics, priority, parsing, scannerless parsing, systematic-approach, ASF+SDF, grammar, Stratego}, researchr = {https://researchr.org/publication/BouwersBV08}, cites = {0}, citedby = {1}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {203}, number = {2}, pages = {85-101}, } @inproceedings{DolstraVJ04, title = {Imposing a Memory Management Discipline on Software Deployment}, author = {Eelco Dolstra and Eelco Visser and Merijn de Jonge}, year = {2004}, doi = {10.1109/ICSE.2004.1317480}, url = {https://doi.org/10.1109/ICSE.2004.1317480}, tags = {programming languages, rule-based, program analysis, deployment, completeness, meta programming, generic programming, software components, program verification, meta-model, memory management, modeling language, language modeling, software deployment, Nix, software component, analysis, programming, Meta-Environment, systematic-approach}, researchr = {https://researchr.org/publication/DolstraVJ04}, cites = {0}, citedby = {0}, pages = {583-592}, booktitle = {26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom}, publisher = {IEEE Computer Society}, isbn = {0-7695-2163-0}, } @inproceedings{Dolstra03, title = {Integrating Software Construction and Software Deployment}, author = {Eelco Dolstra}, year = {2003}, url = {http://link.springer.de/link/service/series/0558/bibs/2649/26490102.htm}, tags = {deployment}, researchr = {https://researchr.org/publication/Dolstra03}, cites = {0}, citedby = {0}, pages = {102-117}, booktitle = {Software Configuration Management, ICSE Workshops SCM 2001 and SCM 2003 Toronto, Canada, May 14-15, 2001 and Portland, OR, USA, May 9-10, 2003. Selected Papers}, editor = {Bernhard Westfechtel and André van der Hoek}, volume = {2649}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-14036-0}, } @inproceedings{BravenboerTV06, title = {Declarative, formal, and extensible syntax definition for {AspectJ}}, author = {Martin Bravenboer and Éric Tanter and Eelco Visser}, year = {2006}, doi = {10.1145/1167473.1167491}, url = {http://doi.acm.org/10.1145/1167473.1167491}, tags = {programming languages, AspectJ, object-oriented programming, Java, syntax definition, SDF, lexical syntax, design complexity, composition, design research, language design, aspect oriented programming, compiler, programming, subject-oriented programming, context-aware, language composition, parsing, design, scannerless parsing, extensible language, ASF+SDF, feature-oriented programming, SGLR, grammar}, researchr = {https://researchr.org/publication/BravenboerTV06}, cites = {0}, citedby = {1}, pages = {209-228}, booktitle = {Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006}, editor = {Peri L. Tarr and William R. Cook}, publisher = {ACM}, isbn = {1-59593-348-4}, } @inproceedings{DolstraH07, title = {Purely Functional System Configuration Management}, author = {Eelco Dolstra and Armijn Hemel}, year = {2007}, url = {http://www.usenix.org/events/hotos07/tech/full_papers/dolstra/dolstra.pdf}, researchr = {https://researchr.org/publication/DolstraH07}, cites = {0}, citedby = {0}, booktitle = {Proceedings of HotOS 07: 11th Workshop on Hot Topics in Operating Systems, May 7-9, 2005, San Diego, California, USA}, editor = {Galen C. Hunt}, publisher = {USENIX Association}, } @inproceedings{BravenboerKVV06, title = {{Stratego/XT 0.16}: components for transformation systems}, author = {Martin Bravenboer and Karl Trygve Kalleberg and Rob Vermaas and Eelco Visser}, year = {2006}, doi = {10.1145/1111542.1111558}, url = {http://doi.acm.org/10.1145/1111542.1111558}, tags = {control systems, programming languages, object-oriented programming, concrete object syntax, reusable components, rule-based, completeness, meta programming, pattern language, graph transformation, Stratego/XT, transformation language, reuse, graph-rewriting, rules, transformation system, subject-oriented programming, context-aware, abstraction, Meta-Environment, rewriting, rewriting strategies, feature-oriented programming, concrete syntax, meta-objects, transformation, Stratego, program transformation}, researchr = {https://researchr.org/publication/BravenboerKVV06}, cites = {0}, citedby = {0}, pages = {95-99}, booktitle = {Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006}, editor = {John Hatcliff and Frank Tip}, publisher = {ACM}, isbn = {1-59593-196-1}, } @article{Dolstra09, title = {Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs}, author = {Eelco Dolstra}, year = {2009}, doi = {10.1016/j.entcs.2009.09.042}, url = {http://dx.doi.org/10.1016/j.entcs.2009.09.042}, tags = {laziness, DSL}, researchr = {https://researchr.org/publication/Dolstra09}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {238}, number = {5}, pages = {81-99}, } @inproceedings{BravenboerVVV05, title = {Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax}, author = {Martin Bravenboer and Rob Vermaas and Jurgen J. Vinju and Eelco Visser}, year = {2005}, doi = {10.1007/11561347_12}, url = {http://dx.doi.org/10.1007/11561347_12}, tags = {programming languages, AspectJ, object-oriented programming, concrete object syntax, rule-based, Java, syntax definition, meta programming, SDF, meta-model, disambiguation, type system, reuse, programming, subject-oriented programming, Meta-Environment, parsing, scannerless parsing, systematic-approach, ASF+SDF, feature-oriented programming, concrete syntax, meta-objects, domain-specific language}, researchr = {https://researchr.org/publication/BravenboerVVV05}, cites = {0}, citedby = {2}, pages = {157-172}, booktitle = {Generative Programming and Component Engineering, 4th International Conference, GPCE 2005}, editor = {Robert Glück and Michael R. Lowry}, volume = {3676}, series = {Lecture Notes in Computer Science}, address = {Tallinn, Estonia}, publisher = {Springer}, isbn = {3-540-29138-5}, } @inproceedings{Dolstra05, title = {Efficient Upgrading in a Purely Functional Component Deployment Model}, author = {Eelco Dolstra}, year = {2005}, doi = {10.1007/11424529_15}, url = {http://dx.doi.org/10.1007/11424529_15}, tags = {deployment}, researchr = {https://researchr.org/publication/Dolstra05}, cites = {0}, citedby = {0}, pages = {219-234}, booktitle = {Component-Based Software Engineering, 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings}, editor = {George T. Heineman and Ivica Crnkovic and Heinz W. Schmidt and Judith A. Stafford and Clemens A. Szyperski and Kurt C. Wallnau}, volume = {3489}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-25877-9}, } @article{BravenboerDOV06, title = {Program Transformation with Scoped Dynamic Rewrite Rules}, author = {Martin Bravenboer and Arthur van Dam and Karina Olmos and Eelco Visser}, year = {2006}, url = {https://content.iospress.com/articles/fundamenta-informaticae/fi69-1-2-06}, tags = {programming languages, semantics, rule-based, formal semantics, graph transformation, dynamic rewrite rules, Stratego/XT, transformation language, term rewriting, language design, graph-rewriting, rules, operational semantics, context-aware, access control, rewriting, design, role-based access control, rewriting strategies, transformation, Stratego, program transformation}, researchr = {https://researchr.org/publication/BravenboerDOV06}, cites = {0}, citedby = {4}, journal = {Fundamenta Informaticae}, volume = {69}, number = {1-2}, pages = {123-178}, } @inproceedings{BravenboerV08, title = {Parse Table Composition}, author = {Martin Bravenboer and Eelco Visser}, year = {2009}, doi = {10.1007/978-3-642-00434-6_6}, url = {http://dx.doi.org/10.1007/978-3-642-00434-6_6}, tags = {parsing algorithm, programming languages, deployment, syntax definition, SDF, composition, source-to-source, parse table composition, compiler, programming, language composition, parsing, extensible language, ASF+SDF, open-source, grammar, domain-specific language}, researchr = {https://researchr.org/publication/BravenboerV08}, cites = {0}, citedby = {0}, pages = {74-94}, booktitle = {Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers}, editor = {Dragan Gasevic and Ralf Lämmel and Eric {Van Wyk}}, volume = {5452}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-00433-9}, } @inproceedings{Dolstra05:0, title = {Secure sharing between untrusted users in a transparent source/binary deployment model}, author = {Eelco Dolstra}, year = {2005}, doi = {10.1145/1101908.1101933}, url = {http://doi.acm.org/10.1145/1101908.1101933}, tags = {deployment, source-to-source, open-source}, researchr = {https://researchr.org/publication/Dolstra05%3A0}, cites = {0}, citedby = {0}, pages = {154-163}, booktitle = {20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA}, editor = {David F. Redmiles and Thomas Ellman and Andrea Zisman}, publisher = {ACM}, } @inproceedings{DolstraJV04, title = {Nix: A Safe and Policy-Free System for Software Deployment}, author = {Eelco Dolstra and Merijn de Jonge and Eelco Visser}, year = {2004}, url = {http://www.usenix.org/publications/library/proceedings/lisa04/tech/dolstra.html}, tags = {deployment, software components, software deployment, Nix, software component}, researchr = {https://researchr.org/publication/DolstraJV04}, cites = {0}, citedby = {0}, pages = {79-92}, booktitle = {Proceedings of the 18th Conference on Systems Administration (LISA 2004), Atlanta, USA, November 14-19, 2004}, publisher = {USENIX}, } @article{Jonge05, title = {Build-Level Components}, author = {Merijn de Jonge}, year = {2005}, doi = {10.1109/TSE.2005.77}, url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2005.77}, researchr = {https://researchr.org/publication/Jonge05}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {31}, number = {7}, pages = {588-600}, } @phdthesis{Dolstra2006, title = {The Purely Functional Software Deployment Model}, author = {Eelco Dolstra}, year = {2006}, month = {January}, tags = {programming languages, rule-based, deployment, completeness, meta programming, software components, meta-model, modeling language, modeling, language modeling, functional programming, software component, source-to-source, information models, programming, Meta-Environment, process modeling, systematic-approach, open-source}, researchr = {https://researchr.org/publication/Dolstra2006}, cites = {0}, citedby = {0}, school = {Utrecht University}, address = {Utrecht, The Netherlands}, advisor = {Eelco Visser and S. Doaitse Swierstra}, } @article{BravenboerKVV08, title = {{Stratego/XT 0.17}. {A} language and toolset for program transformation}, author = {Martin Bravenboer and Karl Trygve Kalleberg and Rob Vermaas and Eelco Visser}, year = {2008}, doi = {10.1016/j.scico.2007.11.003}, url = {http://dx.doi.org/10.1016/j.scico.2007.11.003}, tags = {control systems, programming languages, object-oriented programming, concrete object syntax, reusable components, rule-based, completeness, meta programming, pattern language, graph transformation, Stratego/XT, transformation language, reuse, graph-rewriting, rules, transformation system, DSL, programming, subject-oriented programming, context-aware, abstraction, Meta-Environment, rewriting, rewriting strategies, feature-oriented programming, concrete syntax, meta-objects, transformation, Stratego, program transformation}, researchr = {https://researchr.org/publication/BravenboerKVV08}, cites = {0}, citedby = {7}, journal = {Science of Computer Programming}, volume = {72}, number = {1-2}, pages = {52-70}, } @inproceedings{Jonge04, title = {Decoupling Source Trees into Build-Level Components}, author = {Merijn de Jonge}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3107&spage=215}, tags = {source-to-source, peer-to-peer, open-source}, researchr = {https://researchr.org/publication/Jonge04}, cites = {0}, citedby = {0}, pages = {215-231}, booktitle = {Software Reuse: Methods, Techniques and Tools: 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2009. Proceedings}, volume = {3107}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-22335-5}, } @inproceedings{KatsBV08, title = {Mixing source and bytecode: a case for compilation by normalization}, author = {Lennart C. L. Kats and Martin Bravenboer and Eelco Visser}, year = {2008}, doi = {10.1145/1449764.1449772}, url = {http://doi.acm.org/10.1145/1449764.1449772}, tags = {compilation by normalization, rule-based, Java, synchronization, translation, meta-model, modeling language, Stratego/XT, language modeling, composition, constraints, source-to-source, C++, Dryad, security, compiler, Meta-Environment, extensible language, systematic-approach, open-source, Stratego, JavaFront, domain-specific language}, researchr = {https://researchr.org/publication/KatsBV08}, cites = {44}, citedby = {3}, pages = {91-108}, booktitle = {Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA}, editor = {Gail E. Harris}, publisher = {ACM}, isbn = {978-1-60558-215-3}, } @inproceedings{BravenboerV04, title = {Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions}, author = {Martin Bravenboer and Eelco Visser}, year = {2004}, doi = {10.1145/1028976.1029007}, url = {http://doi.acm.org/10.1145/1028976.1029007}, tags = {programming languages, object-oriented programming, concrete object syntax, syntax definition, meta programming, assimilation, SDF, XML, XML Schema, Stratego/XT, transformation language, composition, MetaBorg, language design, reuse, code generation, subject-oriented programming, abstraction, Meta-Environment, extensible language, ASF+SDF, feature-oriented programming, concrete syntax, meta-objects, transformation, Stratego, program transformation, domain-specific language}, researchr = {https://researchr.org/publication/BravenboerV04}, cites = {51}, citedby = {8}, pages = {365-383}, booktitle = {Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004}, editor = {John M. Vlissides and Douglas C. Schmidt}, address = {Vancouver, BC, Canada}, publisher = {ACM}, isbn = {1-58113-831-8}, } @inproceedings{DolstraL08, title = {NixOS: a purely functional Linux distribution}, author = {Eelco Dolstra and Andres Löh}, year = {2008}, doi = {10.1145/1411204.1411255}, url = {http://doi.acm.org/10.1145/1411204.1411255}, tags = {meta-model, modeling language, language modeling, Meta-Environment, state machines}, researchr = {https://researchr.org/publication/DolstraL08}, cites = {0}, citedby = {0}, pages = {367-378}, booktitle = {Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008}, editor = {James Hook and Peter Thiemann}, publisher = {ACM}, isbn = {978-1-59593-919-7}, } @inproceedings{DolstraBV05, title = {Service configuration management}, author = {Eelco Dolstra and Martin Bravenboer and Eelco Visser}, year = {2005}, doi = {10.1145/1109128.1109135}, url = {http://doi.acm.org/10.1145/1109128.1109135}, tags = {programming languages, SCM, deployment, software components, software deployment, Nix, software component, software configuration, service configuration management, context-aware, systematic-approach}, researchr = {https://researchr.org/publication/DolstraBV05}, cites = {0}, citedby = {0}, pages = {83-98}, booktitle = {Proceedings of the 12th International Workshop on Software Configuration Management, SCM 2005, Lisbon, Portugal, September 5-6, 2005}, publisher = {ACM}, isbn = {1-59593-310-7}, } @inproceedings{BravenboerV07, title = {Designing Syntax Embeddings and Assimilations for Language Libraries}, author = {Martin Bravenboer and Eelco Visser}, year = {2007}, doi = {10.1007/978-3-540-69073-3_5}, url = {http://dx.doi.org/10.1007/978-3-540-69073-3_5}, tags = {syntax embedding, syntax definition, assimilation, transformation language, architecture, language design, DSL, language libraries, design, transformation, domain-specific language}, researchr = {https://researchr.org/publication/BravenboerV07}, cites = {24}, citedby = {1}, pages = {34-46}, booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers}, editor = {Holger Giese}, volume = {5002}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-69069-6}, } @phdthesis{Bra08, title = {Exercises in free syntax. syntax definition, parsing, and assimilation of language conglomerates}, author = {Martin Bravenboer}, year = {2008}, month = {January}, tags = {syntax definition, assimilation, parsing}, researchr = {https://researchr.org/publication/Bra08}, cites = {168}, citedby = {1}, school = {Utrecht University}, address = {Utrecht, The Netherlands}, advisor = {S. Doaitse Swierstra and Eelco Visser}, } @inproceedings{BravenboerGV06, title = {{MetaBorg} in Action: Examples of Domain-Specific Language Embedding and Assimilation Using {Stratego/XT}}, author = {Martin Bravenboer and René de Groot and Eelco Visser}, year = {2006}, doi = {10.1007/11877028_10}, url = {http://dx.doi.org/10.1007/11877028_10}, tags = {generative programming, programming languages, rule-based, transformation engineering, Java, generic programming, assimilation, graph transformation, Stratego/XT, language engineering, domain-specific language embedding, transformation language, composition, MetaBorg, language design, graph-rewriting, transformation system, language embedding, DSL, programming, abstraction, language composition, rewriting, transformation, Stratego, program transformation, domain-specific language}, researchr = {https://researchr.org/publication/BravenboerGV06}, cites = {0}, citedby = {3}, pages = {297-311}, booktitle = {Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers}, editor = {Ralf Lämmel and João Saraiva and Joost Visser}, volume = {4143}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-45778-X}, } @inproceedings{BravenboerDV07, title = {Preventing injection attacks with syntax embeddings}, author = {Martin Bravenboer and Eelco Dolstra and Eelco Visser}, year = {2007}, doi = {10.1145/1289971.1289975}, url = {http://doi.acm.org/10.1145/1289971.1289975}, tags = {programming languages, syntax embedding, Java, preventing injection attacks, generic programming, injection attack, SDF, XML, embedded software, XML Schema, SQL, security, language embedding, DSL, programming, systematic-approach, ASF+SDF, grammar, query language}, researchr = {https://researchr.org/publication/BravenboerDV07}, cites = {0}, citedby = {4}, pages = {3-12}, booktitle = {Generative Programming and Component Engineering, 6th International Conference, GPCE 2007}, editor = {Charles Consel and Julia L. Lawall}, address = {Salzburg, Austria}, publisher = {ACM}, isbn = {978-1-59593-855-8}, }