@inproceedings{CohenK08, title = {EventScript: an event-processing language based on regular expressions with actions}, author = {Norman H. Cohen and Karl Trygve Kalleberg}, year = {2008}, doi = {10.1145/1375657.1375673}, url = {http://doi.acm.org/10.1145/1375657.1375673}, tags = {rule-based}, researchr = {https://researchr.org/publication/CohenK08}, cites = {0}, citedby = {0}, pages = {111-120}, booktitle = {Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 08), Tucson, AZ, USA, June 12-13, 2008}, editor = {Krisztián Flautner and John Regehr}, publisher = {ACM}, isbn = {978-1-60558-104-0}, } @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{CzarneckiKK06, title = {Feature Models are Views on Ontologies}, author = {Krzysztof Czarnecki and Chang Hwan Peter Kim and Karl Trygve Kalleberg}, year = {2006}, tags = {ontologies, ontology, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/CzarneckiKK06}, cites = {0}, citedby = {0}, pages = {41-51}, booktitle = {Software Product Lines, 10th International Conference, SPLC 2006, Baltimore, Maryland, USA, August 21-24, 2006, Proceedings}, publisher = {IEEE Computer Society}, isbn = {0-7695-2599-7}, } @techreport{KallebergV05, title = {Combining Aspect-Oriented and Strategic Programming}, author = {Karl Trygve Kalleberg and Eelco Visser}, year = {2005}, month = {August}, researchr = {https://researchr.org/publication/KallebergV05}, cites = {0}, citedby = {0}, institution = {Department of Information and Computing Sciences. Universiteit Utrecht}, number = {UU-CS-2005-030}, } @article{HemelKVD21, title = {Finding Software License Violations Through Binary Code Clone Detection - A Retrospective}, author = {Armijn Hemel and Karl Trygve Kalleberg and Rob Vermaas and Eelco Dolstra}, year = {2021}, doi = {10.1145/3468744.3468752}, url = {https://doi.org/10.1145/3468744.3468752}, researchr = {https://researchr.org/publication/HemelKVD21}, cites = {0}, citedby = {0}, journal = {ACM SIGSOFT Software Engineering Notes}, volume = {46}, number = {3}, pages = {24-25}, } @article{KallebergV08, title = {Fusing a Transformation Language with an Open Compiler}, author = {Karl Trygve Kalleberg and Eelco Visser}, year = {2008}, doi = {10.1016/j.entcs.2008.03.042}, url = {http://dx.doi.org/10.1016/j.entcs.2008.03.042}, tags = {programming languages, model-to-model transformation, object-oriented programming, rule-based, Java, program analysis, Eclipse, completeness, data-flow language, graph transformation, interpreter, abstract syntax, Stratego/XT, transformation language, term rewriting, functional programming, Eclipse Java Compiler, points-to analysis, domain analysis, analysis, type system, reuse, data-flow programming, data-flow, source-to-source, graph-rewriting, logic programming, transformation system, compiler, model transformation, open compiler, subject-oriented programming, context-aware, logic, Spoofax, rewriting logic, rewriting, data-flow analysis, parsing, feature-oriented programming, open-source, transformation, Stratego, program transformation, domain-specific language}, researchr = {https://researchr.org/publication/KallebergV08}, cites = {0}, citedby = {1}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {203}, number = {2}, pages = {21-36}, } @techreport{preprint-KatsVKV12, title = {Software development environments on the web: a research agenda}, author = {Lennart C. L. Kats and Richard Vogelij and Karl Trygve Kalleberg and Eelco Visser}, year = {2012}, researchr = {https://researchr.org/publication/preprint-KatsVKV12}, cites = {0}, citedby = {0}, type = {Preprint}, } @inproceedings{KatsKV10-SLE, title = {Interactive Disambiguation of Meta Programs with Concrete Object Syntax}, author = {Lennart C. L. Kats and Karl Trygve Kalleberg and Eelco Visser}, year = {2010}, doi = {10.1007/978-3-642-19440-5_22}, url = {http://dx.doi.org/10.1007/978-3-642-19440-5_22}, tags = {programming languages, object-oriented programming, concrete object syntax, rule-based, meta programming, meta-model, abstract syntax, tagging, disambiguation, model-driven development, source-to-source, C++, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, concrete syntax, open-source, meta-objects, grammar}, researchr = {https://researchr.org/publication/KatsKV10-SLE}, cites = {0}, citedby = {0}, pages = {327-336}, booktitle = {Software Language Engineering - Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers}, editor = {Brian A. Malloy and Steffen Staab and Mark van den Brand}, volume = {6563}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-19439-9}, } @inproceedings{HemelKVD11, title = {Finding software license violations through binary code clone detection}, author = {Armijn Hemel and Karl Trygve Kalleberg and Rob Vermaas and Eelco Dolstra}, year = {2011}, doi = {10.1145/1985441.1985453}, url = {http://doi.acm.org/10.1145/1985441.1985453}, researchr = {https://researchr.org/publication/HemelKVD11}, cites = {0}, citedby = {0}, pages = {63-72}, booktitle = {Proceedings of the 8th International Working Conference on Mining Software Repositories, MSR 2011 (Co-located with ICSE), Waikiki, Honolulu, HI, USA, May 21-28, 2011, Proceedings}, editor = {Arie van Deursen and Tao Xie and Thomas Zimmermann}, publisher = {IEEE}, isbn = {978-1-4503-0574-7}, } @inproceedings{DuranRBBBCEEJK10, title = {The Third Rewrite Engines Competition}, author = {Francisco Durán and Manuel Roldán and Jean-Christophe Bach and Emilie Balland and Mark G. J. van den Brand and James R. Cordy and Steven Eker and Luc Engelen and Maartje de Jonge and Karl Trygve Kalleberg and Lennart C. L. Kats and Pierre-Etienne Moreau and Eelco Visser}, year = {2010}, doi = {10.1007/978-3-642-16310-4_16}, url = {http://dx.doi.org/10.1007/978-3-642-16310-4_16}, tags = {graph-rewriting, C++, rewriting}, researchr = {https://researchr.org/publication/DuranRBBBCEEJK10}, cites = {0}, citedby = {0}, pages = {243-261}, booktitle = {Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers}, editor = {Peter Csaba Ölveczky}, volume = {6381}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-16309-8}, } @article{DuranRBBEKKMSV09, title = {The Second Rewrite Engines Competition}, author = {Francisco Durán and Manuel Roldán and Emilie Balland and Mark G. J. van den Brand and Steven Eker and Karl Trygve Kalleberg and Lennart C. L. Kats and Pierre-Etienne Moreau and Ruslan Shevchenko and Eelco Visser}, year = {2009}, doi = {10.1016/j.entcs.2009.05.025}, url = {http://dx.doi.org/10.1016/j.entcs.2009.05.025}, tags = {rewrite engine, SDF, term rewriting, graph-rewriting, C++, logic, rewriting logic, rewriting, rewriting strategies, ASF+SDF, Stratego}, researchr = {https://researchr.org/publication/DuranRBBEKKMSV09}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {238}, number = {3}, pages = {281-291}, } @article{KatsKV10, title = {Domain-Specific Languages for Composable Editor Plugins}, author = {Lennart C. L. Kats and Karl Trygve Kalleberg and Eelco Visser}, year = {2010}, doi = {10.1016/j.entcs.2010.08.038}, url = {http://dx.doi.org/10.1016/j.entcs.2010.08.038}, tags = {C++, domain-specific language}, researchr = {https://researchr.org/publication/KatsKV10}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {253}, number = {7}, pages = {149-163}, } @inproceedings{KallebergHE05, title = {Making Slicing Mainstream How can we be Weiser?}, author = {Karl Trygve Kalleberg and Tracy Hall and Ran Ettinger}, year = {2005}, url = {http://drops.dagstuhl.de/opus/volltexte/2006/486}, tags = {slicing}, researchr = {https://researchr.org/publication/KallebergHE05}, cites = {0}, citedby = {0}, booktitle = {Beyond Program Slicing, 06.11. - 11.11.2005}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, volume = {05451}, series = {Dagstuhl Seminar Proceedings}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, } @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{Kalleberg06, title = {Stratego: a programming language for program manipulation}, author = {Karl Trygve Kalleberg}, year = {2006}, doi = {10.1145/1144366.1144370}, url = {http://doi.acm.org/10.1145/1144366.1144370}, tags = {programming languages, programming, Stratego}, researchr = {https://researchr.org/publication/Kalleberg06}, cites = {0}, citedby = {0}, journal = {ACM Crossroads}, volume = {12}, number = {3}, pages = {4}, } @article{KallebergV06, title = {Combining Aspect-Oriented and Strategic Programming}, author = {Karl Trygve Kalleberg and Eelco Visser}, year = {2006}, doi = {10.1016/j.entcs.2005.06.035}, url = {http://dx.doi.org/10.1016/j.entcs.2005.06.035}, tags = {programming languages, object-oriented programming, rule-based, transformation aspects, data-flow language, graph transformation, exceptions, Stratego/XT, transformation language, term rewriting, type system, data-flow programming, data-flow, graph-rewriting, rules, programming paradigms, type checking, strategic programming, debugging, transformation system, Strategic term rewriting, aspect oriented programming, programming, subject-oriented programming, rewriting, feature-oriented programming, transformation, Stratego, program transformation}, researchr = {https://researchr.org/publication/KallebergV06}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {147}, number = {1}, pages = {5-30}, } @inproceedings{KatsVKV12, title = {Software development environments on the web: a research agenda}, author = {Lennart C. L. Kats and Richard Vogelij and Karl Trygve Kalleberg and Eelco Visser}, year = {2012}, doi = {10.1145/2384592.2384603}, url = {http://doi.acm.org/10.1145/2384592.2384603}, researchr = {https://researchr.org/publication/KatsVKV12}, cites = {0}, citedby = {0}, pages = {99-116}, booktitle = {ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2012, part of SPLASH '12, Tucson, AZ, USA, October 21-26, 2012}, editor = {Gary T. Leavens and Jonathan Edwards}, publisher = {ACM}, isbn = {978-1-4503-1562-3}, } @inproceedings{KatsKV08, title = {Generating Editors for Embedded Languages. Integrating SGLR into IMP}, author = {Lennart C. L. Kats and Karl Trygve Kalleberg and Eelco Visser}, year = {2008}, month = {April}, tags = {rule-based, Eclipse, syntax definition, completeness, SDF, SQL, C++, code generation, abstraction, Spoofax, Meta-Environment, parsing, scannerless parsing, extensible language, ASF+SDF, SGLR, query language, domain-specific language}, researchr = {https://researchr.org/publication/KatsKV08}, cites = {0}, citedby = {1}, booktitle = {Proceedings of the Eight Workshop on Language Descriptions, Tools, and Applications}, editor = {Jurgen J. Vinju and Adrian Johnstone}, volume = {238}, number = {5}, series = {Electronic Notes in Theoretical Computer Science }, publisher = {Elsevier}, } @inproceedings{BaggeDHK06, title = {Stayin alert: moulding failure and exceptions to your needs}, author = {Anya Helene Bagge and Valentin David and Magne Haveraaen and Karl Trygve Kalleberg}, year = {2006}, doi = {10.1145/1173706.1173747}, url = {http://doi.acm.org/10.1145/1173706.1173747}, tags = {exceptions}, researchr = {https://researchr.org/publication/BaggeDHK06}, cites = {0}, citedby = {0}, pages = {265-274}, booktitle = {Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings}, editor = {Stan Jarzabek and Douglas C. Schmidt and Todd L. Veldhuizen}, publisher = {ACM}, isbn = {1-59593-237-2}, } @inproceedings{BaggeKHV03, title = {Design of the {CodeBoost} Transformation System for Domain-Specific Optimisation of {C++} Programs}, author = {Anya Helene Bagge and Karl Trygve Kalleberg and Magne Haveraaen and Eelco Visser}, year = {2003}, doi = {10.1109/SCAM.2003.1238032}, url = {https://doi.org/10.1109/SCAM.2003.1238032}, tags = {programming languages, model-to-model transformation, rule-based, program analysis, application framework, graph transformation, CodeBoost, embedded software, Stratego/XT, transformation language, points-to analysis, domain analysis, analysis, language design, source-to-source, graph-rewriting, rules, C++, transformation system, compiler, model transformation, rewriting, parsing, design, open-source, transformation, Stratego, program transformation, domain-specific language}, researchr = {https://researchr.org/publication/BaggeKHV03}, cites = {0}, citedby = {0}, pages = {65}, booktitle = {3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands}, publisher = {IEEE Computer Society}, isbn = {0-7695-2005-7}, } @inproceedings{HaveraaenK08, title = {JAxT and JDI: the simplicity of junit applied to axioms and data invariants}, author = {Magne Haveraaen and Karl Trygve Kalleberg}, year = {2008}, doi = {10.1145/1449814.1449834}, url = {http://doi.acm.org/10.1145/1449814.1449834}, tags = {data-flow}, researchr = {https://researchr.org/publication/HaveraaenK08}, cites = {0}, citedby = {0}, pages = {731-732}, booktitle = {Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA}, editor = {Gail E. Harris}, publisher = {ACM}, isbn = {978-1-60558-220-7}, } @inproceedings{KallebergV07, title = {Spoofax: An Interactive Development Environment for Program Transformation with Stratego/XT}, author = {Karl Trygve Kalleberg and Eelco Visser}, year = {2007}, month = {March}, url = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2007-018.pdf}, tags = {model-to-model transformation, meta programming, meta-model, model-driven development, model transformation, Spoofax, Meta-Environment, meta-objects, transformation, Stratego, program transformation}, researchr = {https://researchr.org/publication/KallebergV07}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the Seventh Workshop on Language Descriptions, Tools and Applications (LDTA 2007)}, series = {Electronic Notes in Theoretical Computer Science}, address = {Braga, Portugal}, publisher = {Elsevier}, } @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}, }