@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{BravenboerS09, title = {Strictly declarative specification of sophisticated points-to analyses}, author = {Martin Bravenboer and Yannis Smaragdakis}, year = {2009}, doi = {10.1145/1640089.1640108}, url = {http://doi.acm.org/10.1145/1640089.1640108}, tags = {programming languages, optimization, rule-based, Java, program analysis, points-to analysis, analysis, source-to-source, logic programming, context-aware, logic, program optimization, Datalog, systematic-approach, open-source}, researchr = {https://researchr.org/publication/BravenboerS09}, cites = {31}, citedby = {0}, pages = {243-262}, booktitle = {OOPSLA}, } @inproceedings{BravenboerS09-0, title = {Exception analysis and points-to analysis: better together}, author = {Martin Bravenboer and Yannis Smaragdakis}, year = {2009}, doi = {10.1145/1572272.1572274}, url = {http://doi.acm.org/10.1145/1572272.1572274}, tags = {semantics, rule-based, Java, completeness, exceptions, points-to analysis, analysis, source-to-source, object-role modeling, information models, context-aware, abstraction, systematic-approach, open-source}, researchr = {https://researchr.org/publication/BravenboerS09-0}, cites = {0}, citedby = {0}, pages = {1-12}, booktitle = {ISSTA}, } @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{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{BravenboerV02, title = {Rewriting Strategies for Instruction Selection}, author = {Martin Bravenboer and Eelco Visser}, year = {2002}, doi = {10.1007/3-540-45610-4_17}, url = {https://doi.org/10.1007/3-540-45610-4_17}, tags = {programming languages, optimization, rule-based, graph transformation, Stratego/XT, instruction selection, transformation language, term rewriting, graph-rewriting, rules, programming paradigms, code generation, programming, program optimization, rewriting, compilers, compilation, rewriting strategies, transformation, Stratego, program transformation}, researchr = {https://researchr.org/publication/BravenboerV02}, cites = {0}, citedby = {0}, pages = {237-251}, booktitle = {RTA}, } @article{BravenboerDV10, title = {Preventing injection attacks with syntax embeddings}, author = {Martin Bravenboer and Eelco Dolstra and Eelco Visser}, year = {2010}, doi = {10.1016/j.scico.2009.05.004}, url = {http://dx.doi.org/10.1016/j.scico.2009.05.004}, tags = {injection attack}, researchr = {https://researchr.org/publication/BravenboerDV10}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {75}, number = {7}, pages = {473-495}, } @misc{homepages-b-MartinBravenboer, title = {Home Page}, author = {Martin Bravenboer}, researchr = {https://researchr.org/publication/homepages-b-MartinBravenboer}, cites = {0}, citedby = {0}, howpublished = {http://martin.bravenboer.name/}, } @manual{StrategoXTReferenceManual, title = {Stratego/XT Reference Manual}, author = {Martin Bravenboer and Karl Trygve Kalleberg and Rob Vermaas and Eelco Visser}, year = {2008}, url = {http://releases.strategoxt.org/strategoxt-manual/strategoxt-manual-0.17pre18721-8c3vml4h/manual/}, researchr = {https://researchr.org/publication/StrategoXTReferenceManual}, cites = {0}, citedby = {0}, } @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{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}, } @techreport{BravenboerV01, title = {Guiding visitors: separating navigation from computation}, author = {Martin Bravenboer and Eelco Visser}, year = {2001}, tags = {programming languages, object-oriented programming, rule-based, Java, meta programming, caching, pattern language, generic programming, traversal, visitor, reuse, e-science, programming, subject-oriented programming, Meta-Environment, systematic-approach, feature-oriented programming, meta-objects}, researchr = {https://researchr.org/publication/BravenboerV01}, cites = {0}, citedby = {0}, institution = {Department of Information and Computing Sciences, Utrecht University}, number = {UU-CS-2001-42}, } @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}, } @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{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{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}, } @techreport{TUD-SERG-2008-042, title = {Designing Syntax Embeddings and Assimilations for Language Libraries}, author = {Martin Bravenboer and Eelco Visser}, year = {2008}, tags = {assimilation, transformation language, architecture, language design, DSL, design, transformation, domain-specific language}, researchr = {https://researchr.org/publication/TUD-SERG-2008-042}, cites = {0}, citedby = {0}, institution = {Software Engineering Research Group, Delft University of Technology}, number = {TUD-SERG-2008-042}, } @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{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}, } @techreport{preprint-BravenboerDV-SCP-2009, title = {Preventing injection attacks with syntax embeddings}, author = {Martin Bravenboer and Eelco Dolstra and Eelco Visser}, year = {2010}, month = {July}, tags = {programming languages, Java, generic programming, injection attack, XML, embedded software, XML Schema, SQL, programming, context-aware, systematic-approach, grammar, query language}, researchr = {https://researchr.org/publication/preprint-BravenboerDV-SCP-2009}, cites = {0}, citedby = {0}, type = {Preprint}, } @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}, }