% Bibliography downloaded from https://researchr.org/downloadbibtex/bibliography/serg-trace/compact @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 = {ENTCS}, 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 = {ICSE}, } @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 = {SCM}, } @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 = {OOPSLA}, } @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 = {hotos}, } @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 = {PEPM}, } @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 = {ENTCS}, 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 = {GPCE}, } @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 = {cbse}, } @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 = {FUIN}, 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 = {SLE}, } @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 = {ASE}, } @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 = {lisa}, } @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 = {TSE}, 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 = {SCP}, 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 = {icsr}, } @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 = {OOPSLA}, } @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 = {OOPSLA}, } @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 = {ICFP}, } @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 = {SCM}, } @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}, } @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 = {GTTSE}, } @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 = {GPCE}, }