publications: - title: "Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Steven Klusener" link: "http://www.cs.vu.nl/~steven/" - name: "Leon Moonen" link: "http://simula.no/~leonm/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2003" doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/52/show/Products/notes/index.htt#008" abstract: "Generalized parsing technology provides the power and flexibility to attack real-world parsing applications. However, many programming languages have syntactical ambiguities that can only be solved using semantical analysis. In this paper we propose to apply the paradigm of term rewriting to filter ambiguities based on semantical information. We start with the definition of a representation of ambiguous derivations. Then we extend term rewriting with means to handle such derivations. Finally, we apply these tools to some real world examples, namely C and COBOL. The resulting architecture is simple and efficient as compared to semantic directed parsing. " links: doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/52/show/Products/notes/index.htt#008" tags: - "programming languages" - "semantics" - "rule-based" - "program analysis" - "disambiguation" - "architecture" - "term rewriting" - "analysis" - "graph-rewriting" - "C++" - "programming paradigms" - "programming" - "rewriting" - "Cobol" - "parsing" researchr: "https://researchr.org/publication/BrandKMV03" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "82" number: "3" pages: "575-591" kind: "article" key: "BrandKMV03" - title: "Term Rewriting Meets Aspect-Oriented Programming" author: - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2005" doi: "http://dx.doi.org/10.1007/11601548_8" abstract: "We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a para\\-digm that is used in fields such as program transformation and theorem proving. AOP is a method for decomposing software, complementary to the usual separation into programs, classes, functions, etc. An aspect represents code that is scattered across the components of an otherwise orderly decomposed system. Using AOP, such code can be modularized into aspects and then automatically weaved into a system. Aspect weavers are available for only a handful of languages. Term rewriting can offer a method for the rapid prototyping of weavers for more languages. We explore this claim by presenting a simple weaver implemented as a TRS. We also observe that TRS can benefit from AOP. For example, their flexibility can be enhanced by factoring out hardwired code for tracing and logging rewrite rules. We explore methods for enhancing TRS with aspects and present one application: automatically connecting an interactive debugger to a language specification. " links: doi: "http://dx.doi.org/10.1007/11601548_8" tags: - "programming languages" - "object-oriented programming" - "rule-based" - "software components" - "graph transformation" - "transformation language" - "term rewriting" - "software component" - "weaving" - "graph-rewriting" - "rules" - "debugging" - "transformation system" - "aspect oriented programming" - "programming" - "subject-oriented programming" - "rewriting" - "feature-oriented programming" - "transformation" - "program transformation" researchr: "https://researchr.org/publication/KlintSV05" cites: 0 citedby: 0 pages: "88-105" booktitle: "Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday" editor: - name: "Aart Middeldorp" link: "http://cl-informatik.uibk.ac.at/~ami/" - name: "Vincent van Oostrom" link: "https://researchr.org/alias/vincent-van-oostrom" - name: "Femke van Raamsdonk" link: "https://researchr.org/alias/femke-van-raamsdonk" - name: "Roel C. de Vrijer" link: "https://researchr.org/alias/roel-c.-de-vrijer" volume: "3838" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-30911-X" kind: "inproceedings" key: "KlintSV05" - title: "M3: A general model for code analytics in rascal" author: - name: "Bas Basten" link: "https://researchr.org/alias/bas-basten" - name: "Mark Hills 0001" link: "https://researchr.org/alias/mark-hills-0001" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Davy Landman" link: "https://researchr.org/alias/davy-landman" - name: "Ashim Shahi" link: "https://researchr.org/alias/ashim-shahi" - name: "Michael J. Steindorfer" link: "http://michael.steindorfer.name" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2015" doi: "http://dx.doi.org/10.1109/SWAN.2015.7070485" links: doi: "http://dx.doi.org/10.1109/SWAN.2015.7070485" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wcre/Basten0KLSSV15" researchr: "https://researchr.org/publication/Basten0KLSSV15" cites: 0 citedby: 0 pages: "25-28" booktitle: "1st IEEE International Workshop on Software Analytics, SWAN 2015, Montreal, QC, Canada, March 2, 2015" editor: - name: "Olga Baysal" link: "https://researchr.org/alias/olga-baysal" - name: "Latifa Guerrouj" link: "https://researchr.org/alias/latifa-guerrouj" publisher: "IEEE" kind: "inproceedings" key: "Basten0KLSSV15" - title: "Engineering Academic Software (Dagstuhl Perspectives Workshop 16252)" author: - name: "Carole A. Goble" link: "https://researchr.org/alias/carole-a.-goble" - name: "James Howison" link: "https://researchr.org/alias/james-howison" - name: "Claude Kirchner" link: "https://researchr.org/alias/claude-kirchner" - name: "Oscar Nierstrasz" link: "https://researchr.org/alias/oscar-nierstrasz" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2016" doi: "http://dx.doi.org/10.4230/DagRep.6.6.62" links: doi: "http://dx.doi.org/10.4230/DagRep.6.6.62" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/dagstuhl-reports/GobleHKNV16" researchr: "https://researchr.org/publication/GobleHKNV16" cites: 0 citedby: 0 journal: "Dagstuhl Reports" volume: "6" number: "6" pages: "62-87" kind: "article" key: "GobleHKNV16" - title: "Faster Scannerless GLR Parsing" author: - name: "Giorgios R. Economopoulos" link: "http://users.ecs.soton.ac.uk/gre/" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-00722-4_10" abstract: "Analysis and renovation of large software portfolios requires syntax analysis of multiple, usually embedded, languages and this is beyond the capabilities of many standard parsing techniques. The traditional separation between lexer and parser falls short due to the limitations of tokenization based on regular expressions when handling multiple lexical grammars. In such cases scannerless parsing provides a viable solution. It uses the power of context-free grammars to be able to deal with a wide variety of issues in parsing lexical syntax. However, it comes at the price of less efficiency. The structure of tokens is obtained using a more powerful but more time and memory intensive parsing algorithm. Scannerless grammars are also more non-deterministic than their tokenized counterparts, increasing the burden on the parsing algorithm even further. In this paper we investigate the application of the Right-Nulled Generalized LR parsing algorithm (RNGLR) to scannerless parsing. We adapt the Scannerless Generalized LR parsing and filtering algorithm (SGLR) to implement the optimizations of RNGLR. We present an updated parsing and filtering algorithm, called SRNGLR, and analyze its performance in comparison to SGLR on ambiguous grammars for the programming languages C, Java, Python, SASL, and C++. Measurements show that SRNGLR is on average 33% faster than SGLR, but is 95% faster on the highly ambiguous SASL grammar. For the mainstream languages C, C++, Java and Python the average speedup is 16%. " links: doi: "http://dx.doi.org/10.1007/978-3-642-00722-4_10" tags: - "parsing algorithm" - "programming languages" - "GLR parsing" - "optimization" - "rule-based" - "Java" - "program analysis" - "lexical syntax" - "embedded software" - "scannerless" - "GLR" - "analysis" - "C++" - "programming" - "context-aware" - "program optimization" - "parsing" - "scannerless parsing" - "SGLR" - "grammar" researchr: "https://researchr.org/publication/EconomopoulosKV09" cites: 0 citedby: 0 pages: "126-141" booktitle: "Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings" editor: - name: "Oege de Moor" link: "http://progtools.comlab.ox.ac.uk/members/oege" - name: "Michael I. Schwartzbach" link: "http://www.brics.dk/~mis/" volume: "5501" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-00721-7" kind: "inproceedings" key: "EconomopoulosKV09" - title: "Accelerating the Creation of Customized, Language-Specific IDEs in Eclipse" author: - name: "Philippe Charles" link: "http://lpg.sourceforge.net/" - name: "Robert M. Fuhrer" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/fuhrer.index.html" - name: "Stanley M. Sutton Jr." link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/suttons.index.html" - name: "Evelyn Duesterwald" link: "http://www.research.ibm.com/people/d/duester/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2009" abstract: "Full-featured integrated development environments have become critical to the adoption of new programming languages. Key to the success of these IDEs is the provision of services tailored to the languages. However, modern IDEs are large and complex, and the cost of constructing one from scratch can be prohibitive. Generators that work from language specifications reduce costs but produce environments that do not fully reflect distinctive language characteristics. We believe that there is a practical middle ground between these extremes that can be effectively addressed by an open, semi-automated strategy to IDE development. This strategy is to reduce the burden of IDE development as much as possible, especially for internal IDE details, while opening opportunities for significant customizations to IDE services. To reduce the effort needed for customization we provide a combination of frameworks, templates, and generators. We demonstrate an extensible IDE architecture that embodies this strategy, and we show that this architecture can be used to produce customized IDEs, with a moderate amount of effort, for a variety of interesting languages. " tags: - "programming languages" - "object-oriented programming" - "IMP" - "Eclipse" - "meta programming" - "architecture" - "extreme programming" - "source-to-source" - "DSL" - "programming" - "Meta-Environment" - "extensible language" - "feature-oriented programming" - "IDE" - "open-source" - "domain-specific language" researchr: "https://researchr.org/publication/imp" cites: 0 citedby: 2 booktitle: "Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA." editor: - name: "Shail Arora" link: "https://researchr.org/alias/shail-arora" - name: "Gary T. Leavens" link: "http://www.cs.ucf.edu/~leavens/homepage.html" kind: "inproceedings" key: "imp" - title: "Code specialization for memory efficient hash tries (short paper)" author: - name: "Michael J. Steindorfer" link: "http://michael.steindorfer.name" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2014" doi: "http://doi.acm.org/10.1145/2658761.2658763" links: doi: "http://doi.acm.org/10.1145/2658761.2658763" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/SteindorferV14" researchr: "https://researchr.org/publication/SteindorferV14" cites: 0 citedby: 0 pages: "11-14" booktitle: "Generative Programming: Concepts and Experiences, GPCE'14, Vasteras, Sweden, September 15-16, 2014" editor: - name: "Ulrik Pagh Schultz" link: "https://researchr.org/alias/ulrik-pagh-schultz" - name: "Matthew Flatt" link: "http://www.cs.utah.edu/~mflatt/" publisher: "ACM" isbn: "978-1-4503-3161-6" kind: "inproceedings" key: "SteindorferV14" - title: "Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax" author: - name: "Martin Bravenboer" link: "http://martin.bravenboer.name/" - name: "Rob Vermaas" link: "https://researchr.org/profile/robvermaas/publications" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Eelco Visser" link: "http://eelcovisser.org" year: "2005" doi: "http://dx.doi.org/10.1007/11561347_12" abstract: "In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such quotations and the use of meta-level expressions within these fragments (anti-quotation) often leads to ambiguities. This problem is usually solved through explicit disambiguation, resulting in considerable syntactic overhead. A few systems manage to reduce this overhead by using type information during parsing. Since this is hard to achieve with traditional parsing technology, these systems provide specific combinations of meta and object languages, and their implementations are difficult to reuse. In this paper, we generalize these approaches and present a language independent method for introducing concrete object syntax without explicit disambiguation. The method uses scannerless generalized-LR parsing to parse meta programs with embedded object-level fragments, which produces a forest of all possible parses. This forest is reduced to a tree by a disambiguating type checker for the meta language. To validate our method we have developed embeddings of several object languages in Java, including AspectJ and Java itself. " links: doi: "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: - name: "Robert Glück" link: "http://www.diku.dk/hjemmesider/ansatte/glueck/" - name: "Michael R. Lowry" link: "https://researchr.org/alias/michael-r.-lowry" volume: "3676" series: "Lecture Notes in Computer Science" address: "Tallinn, Estonia" publisher: "Springer" isbn: "3-540-29138-5" kind: "inproceedings" key: "BravenboerVVV05" - title: "Home Page" author: - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" abstract: "This is just my homepage." tags: - "home page" researchr: "https://researchr.org/publication/homepages-55-5625" cites: 0 citedby: 0 howpublished: "http://jurgen.vinju.org" kind: "misc" key: "homepages-55-5625" - title: "A Generator of efficient strongly typed abstract syntax trees in Java" author: - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2005" month: "apr" doi: "10.1049/ip-sen:20041181" abstract: "Abstract syntax trees are a very common data-structure in language related tools. For example compilers, interpreters, documentation generators, and syntax-directed editors use them extensively to extract, transform, store and pro- duce information that is key to their functionality. We present a Java back-end for ApiGen, a tool that generates implementations of abstract syntax trees. The generated code is characterized by strong typing combined with a generic interface and maximal sub-term sharing for memory efficiency and fast equality checking. The goal of this tool is to obtain safe and more efficient programming interfaces for abstract syntax trees. The contribution of this work is the combination of generating a strongly typed data-structure with maximal sub-term sharing in Java. Practical experience shows that this approach is beneficial for extremely large as well as smaller data types." tags: - "programming languages" - "Java" - "data-flow language" - "generic programming" - "SDF" - "interpreter" - "abstract syntax" - "functional programming" - "data-flow programming" - "data-flow" - "code generation" - "type checking" - "compiler" - "abstract syntax trees" - "programming" - "systematic-approach" - "ASF+SDF" - "maximal sharing" researchr: "https://researchr.org/publication/apigenjava" cites: 0 citedby: 0 journal: "IEE Proceedings Software" volume: "152" number: "2" kind: "article" key: "apigenjava" - title: "Environments for Term Rewriting Engines for Free!" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060424.htm" abstract: "Term rewriting can only be applied if practical implementations of term rewriting engines exist. New rewriting engines are designed and implemented either to experiment with new (theoretical) results or to be able to tackle new application areas. In this paper we present the Meta-Environment: an environment for rapidly implementing the syntax and semantics of term rewriting based formalisms. We provide not only the basic building blocks, but complete interactive programming environments that only need to be instantiated by the details of a new formalism." links: doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060424.htm" tags: - "semantics" - "rule-based" - "completeness" - "meta programming" - "meta-model" - "ToolBus" - "term rewriting" - "cbse" - "graph-rewriting" - "programming" - "Meta-Environment" - "rewriting" - "IDE" - "meta-objects" researchr: "https://researchr.org/publication/BrandMV03" cites: 0 citedby: 0 pages: "424-435" booktitle: "Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings" editor: - name: "Robert Nieuwenhuis" link: "https://researchr.org/alias/robert-nieuwenhuis" volume: "2706" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-40254-3" kind: "inproceedings" key: "BrandMV03" - title: "RLSRunner: Linking Rascal with K for Program Analysis" author: - name: "Hills, Mark" link: "https://researchr.org/alias/hills%2C-mark" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2011" month: "July" abstract: "The Rascal meta-programming language provides a number of features supporting the development of program analysis tools. However, sometimes the analysis to be developed is already implemented by another system. In this case, Rascal can provide a useful front-end for this system, handling the parsing of the input program, any transformation (if needed) of this program into individual analysis tasks, and the display of the results generated by the analysis. In this paper we describe a tool, RLSRunner, which provides this integration with static analysis tools defined using the K framework, a rewriting-based framework for defining the semantics of programming languages." tags: - "programming languages" - "model-to-model transformation" - "semantics" - "rule-based" - "program analysis" - "meta programming" - "graph transformation" - "meta-model" - "transformation language" - "points-to analysis" - "analysis" - "static analysis" - "model-driven development" - "graph-rewriting" - "transformation system" - "model transformation" - "programming" - "Meta-Environment" - "rewriting" - "parsing" - "meta-objects" - "transformation" - "program transformation" researchr: "https://researchr.org/publication/BastenKlintVinjuSLE2011-0" cites: 0 citedby: 0 booktitle: "Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011)" volume: "6940" series: "LNCS" publisher: "Springer" kind: "inproceedings" key: "BastenKlintVinjuSLE2011-0" - title: "Reducing the Cost of Grammar-Based Testing Using Pattern Coverage" author: - name: "Cleverton Hentz" link: "https://researchr.org/alias/cleverton-hentz" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Anamaria Martins Moreira" link: "https://researchr.org/alias/anamaria-martins-moreira" year: "2015" doi: "http://dx.doi.org/10.1007/978-3-319-25945-1_5" links: doi: "http://dx.doi.org/10.1007/978-3-319-25945-1_5" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pts/HentzVM15" researchr: "https://researchr.org/publication/HentzVM15" cites: 0 citedby: 0 pages: "71-85" booktitle: "Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings" editor: - name: "Khaled El-Fakih" link: "https://researchr.org/alias/khaled-el-fakih" - name: "Gerassimos D. Barlas" link: "https://researchr.org/alias/gerassimos-d.-barlas" - name: "Nina Yevtushenko" link: "https://researchr.org/alias/nina-yevtushenko" volume: "9447" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-25944-4" kind: "inproceedings" key: "HentzVM15" - title: "OSSMETER: a software measurement platform for automatically analysing open source software projects" author: - name: "Davide Di Ruscio" link: "https://researchr.org/alias/davide-di-ruscio" - name: "Dimitris S. Kolovos" link: "https://researchr.org/alias/dimitris-s.-kolovos" - name: "Ioannis Korkontzelos" link: "https://researchr.org/alias/ioannis-korkontzelos" - name: "Nicholas Drivalos Matragkas" link: "https://researchr.org/alias/nicholas-drivalos-matragkas" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2015" doi: "http://doi.acm.org/10.1145/2786805.2803186" links: doi: "http://doi.acm.org/10.1145/2786805.2803186" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/RuscioKKMV15" researchr: "https://researchr.org/publication/RuscioKKMV15" cites: 0 citedby: 0 pages: "970-973" booktitle: "Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015" editor: - name: "Elisabetta Di Nitto" link: "https://researchr.org/alias/elisabetta-di-nitto" - name: "Mark Harman" link: "https://researchr.org/alias/mark-harman" - name: "Patrick Heymans" link: "https://researchr.org/alias/patrick-heymans" publisher: "ACM" isbn: "978-1-4503-3675-8" kind: "inproceedings" key: "RuscioKKMV15" - title: "Sofware Quality - Introduction to the Special Theme" author: - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Anthony Cleve" link: "http://www.info.fundp.ac.be/~acl" year: "2014" doi: "http://ercim-news.ercim.eu/en99/special/sofware-quality-introduction-to-the-special-theme" links: doi: "http://ercim-news.ercim.eu/en99/special/sofware-quality-introduction-to-the-special-theme" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ercim/VinjuC14" researchr: "https://researchr.org/publication/VinjuC14" cites: 0 citedby: 0 journal: "ERCIM News" volume: "2014" number: "99" kind: "article" key: "VinjuC14" - title: "An Architecture for Context-Sensitive Formatting" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Taeke Kooiker" link: "http://www.cwi.nl" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Niels P. Veerman" link: "http://www.cs.vu.nl/~nveerman/" year: "2005" doi: "http://doi.ieeecomputersociety.org/10.1109/ICSM.2005.17" abstract: "We have taken a fixed set of formatting requirements for a Cobol system as spelled out in a standardization document, and applied generic formatting technology to implement them. It appeared that corporate conventions can dictate alignment that crosscuts the logical structure of a program, and can even dictate indentation that is dynamically computed from context information. We have developed and implemented a formatting architecture that allows arbitrary computational power for mapping language constructs to the Box language. The enabling feature is a hybrid format that merges Box expressions with parse trees. Much of the boilerplate part of formatting can still be automated by a default mapping to Box. Absolute tab stops, an important feature which is not found in many Box back-ends, is used extensively in our case study." links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICSM.2005.17" tags: - "programming languages" - "object-oriented programming" - "formatting" - "generic programming" - "case study" - "SDF" - "prettyprinting" - "architecture" - "context-aware" - "Cobol" - "parsing" - "box" - "ASF+SDF" - "feature-oriented programming" researchr: "https://researchr.org/publication/BrandKVV05" cites: 0 citedby: 0 pages: "631-634" booktitle: "21st IEEE International Conference on Software Maintenance (ICSM 2005), 25-30 September 2005, Budapest, Hungary" publisher: "IEEE Computer Society" isbn: "0-7695-2368-4" kind: "inproceedings" key: "BrandKVV05" - title: "Safe Specification of Operator Precedence Rules" author: - name: "Ali Afroozeh" link: "https://www.cwi.nl/people/2605" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Adrian Johnstone" link: "http://www.cs.rhul.ac.uk/~adrian/" - name: "Elizabeth Scott" link: "http://www.cs.rhul.ac.uk/People/staff/scott.html" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2013" doi: "http://dx.doi.org/10.1007/978-3-319-02654-1_8" links: doi: "http://dx.doi.org/10.1007/978-3-319-02654-1_8" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/AfroozehBJSV13" researchr: "https://researchr.org/publication/AfroozehBJSV13" cites: 0 citedby: 0 pages: "137-156" booktitle: "Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings" editor: - name: "Martin Erwig" link: "https://researchr.org/alias/martin-erwig" - name: "Richard F. Paige" link: "https://researchr.org/alias/richard-f.-paige" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" volume: "8225" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-02653-4" kind: "inproceedings" key: "AfroozehBJSV13" - title: "Using the Meta-Environment for Domain Specific Language Engineering" author: - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2008" abstract: "The development of a domain specific language (DSL) can be a difficult and costly undertaking. Language workbenches aim to provide integrated development support to ease this process. The Meta-Environment is a language workbench providing parsing, analysis, transformation, syntax highlighting and formatting support for the development of programming languages. In this paper we elaborate on the suitability of it for DSL engineering by reporting on our experience in developing a little language for markup generation." tags: - "programming languages" - "model-to-model transformation" - "workbench" - "transformation engineering" - "program analysis" - "meta programming" - "meta-model" - "language engineering" - "transformation language" - "points-to analysis" - "domain analysis" - "analysis" - "little language" - "model-driven development" - "source-to-source" - "model-driven engineering" - "model transformation" - "DSL" - "programming" - "language workbench" - "Meta-Environment" - "parsing" - "meta-objects" - "transformation" - "program transformation" - "domain-specific language" researchr: "https://researchr.org/publication/VanDerStormVinju08" cites: 0 citedby: 0 institution: "CWI" type: "SEN" number: "R0805" kind: "techreport" key: "VanDerStormVinju08" - title: "Language Design for Meta-programming in the Software Composition Domain" author: - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-02655-3_1" links: doi: "http://dx.doi.org/10.1007/978-3-642-02655-3_1" tags: - "programming languages" - "meta programming" - "meta-model" - "composition" - "language design" - "programming" - "Meta-Environment" - "design" - "meta-objects" - "domain-specific language" researchr: "https://researchr.org/publication/KlintVS09" cites: 0 citedby: 0 pages: "1-4" booktitle: "Software Composition, 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings" editor: - name: "Alexandre Bergel" link: "https://researchr.org/alias/alexandre-bergel" - name: "Johan Fabry" link: "https://researchr.org/alias/johan-fabry" volume: "5634" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-02654-6" kind: "inproceedings" key: "KlintVS09" - title: "EASY Meta-programming with Rascal" author: - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-18023-1_6" abstract: "Rascal is a new language for meta-programming and is intended to solve problems in the domain of source code analysis and transformation. In this article we give a high-level overview of the language and illustrate its use by many examples. Rascal is a work in progress both regarding implementation and documentation. More information is available at http://www.rascal-mpl.org/." links: doi: "http://dx.doi.org/10.1007/978-3-642-18023-1_6" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gttse/KlintSV09" tags: - "meta programming" - "meta-model" - "programming" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/KlintSV09-GTTSE" cites: 0 citedby: 0 pages: "222-289" booktitle: "Generative and Transformational Techniques in Software Engineering III - International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers" editor: - name: "Joao M. Fernandes" link: "https://researchr.org/alias/joao-m.-fernandes" - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" - name: "Joost Visser" link: "http://www.di.uminho.pt/~joost.visser/" - name: "João Saraiva" link: "http://di.uminho.pt/~jas" volume: "6491" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-18022-4" kind: "inproceedings" key: "KlintSV09-GTTSE" - title: "Looking Towards a Future where Software is Controlled by the Public (and not the other way round)" author: - name: "Magiel Bruntink" link: "http://www.uva.nl/en/about-the-uva/organisation/staff-members/content/b/r/m.bruntink/m.bruntink.html" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2014" doi: "http://ercim-news.ercim.eu/en99/challenges-for-icst/looking-towards-a-future-where-software-is-controlled-by-the-public" links: doi: "http://ercim-news.ercim.eu/en99/challenges-for-icst/looking-towards-a-future-where-software-is-controlled-by-the-public" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ercim/BruntinkV14" researchr: "https://researchr.org/publication/BruntinkV14" cites: 0 citedby: 0 journal: "ERCIM News" volume: "2014" number: "99" kind: "article" key: "BruntinkV14" - title: "Ambiguity Detection: Scaling to Scannerless" author: - name: "Hendrikus J. S. Basten" link: "https://www.cwi.nl/people/2119" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2011" doi: "http://dx.doi.org/10.1007/978-3-642-28830-2_17" links: doi: "http://dx.doi.org/10.1007/978-3-642-28830-2_17" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/BastenKV11" researchr: "https://researchr.org/publication/BastenKV11" cites: 0 citedby: 0 pages: "303-323" booktitle: "Software Language Engineering - 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers" editor: - name: "Anthony M. Sloane" link: "https://researchr.org/alias/anthony-m.-sloane" - name: "Uwe Aßmann" link: "https://researchr.org/alias/uwe-a%C3%9Fmann" volume: "6940" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-28829-6" kind: "inproceedings" key: "BastenKV11" - title: "Scripting a refactoring with Rascal and Eclipse" author: - name: "Mark Hills" link: "http://homepages.cwi.nl/~hills" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2012" doi: "http://doi.acm.org/10.1145/2328876.2328882" links: doi: "http://doi.acm.org/10.1145/2328876.2328882" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/HillsKV12" researchr: "https://researchr.org/publication/HillsKV12-1" cites: 0 citedby: 0 pages: "40-49" booktitle: "Fifth Workshop on Refactoring Tools 2012, WRT '12, Rapperswil, Switzerland, June 1, 2012" editor: - name: "Peter Sommerlad" link: "https://researchr.org/alias/peter-sommerlad" publisher: "ACM" isbn: "978-1-4503-1500-5" kind: "inproceedings" key: "HillsKV12-1" - title: "Parse Forest Diagnostics with Dr. Ambiguity" author: - name: "H. J. S. Basten" link: "https://researchr.org/alias/h.-j.-s.-basten" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2011" month: "July" tags: - "diagnostics" - "parsing" researchr: "https://researchr.org/publication/BastenVinjuSLE2011" cites: 0 citedby: 0 booktitle: "Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011)" volume: "6940" series: "LNCS" publisher: "Springer" kind: "inproceedings" key: "BastenVinjuSLE2011" - title: "Ambiguity Detection : Scaling to Scannerless" author: - name: "Bas Basten" link: "http://homepages.cwi.nl/~basten" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2011" month: "July" researchr: "https://researchr.org/publication/BastenKlintVinjuSLE2011" cites: 0 citedby: 0 booktitle: "Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011)" volume: "6940" series: "LNCS" publisher: "Springer" kind: "inproceedings" key: "BastenKlintVinjuSLE2011" - title: "RLSRunner: Linking Rascal with K for Program Analysis" author: - name: "Mark Hills" link: "http://homepages.cwi.nl/~hills" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2011" doi: "http://dx.doi.org/10.1007/978-3-642-28830-2_19" links: doi: "http://dx.doi.org/10.1007/978-3-642-28830-2_19" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/HillsKV11" researchr: "https://researchr.org/publication/HillsKV11" cites: 0 citedby: 0 pages: "344-353" booktitle: "Software Language Engineering - 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers" editor: - name: "Anthony M. Sloane" link: "https://researchr.org/alias/anthony-m.-sloane" - name: "Uwe Aßmann" link: "https://researchr.org/alias/uwe-a%C3%9Fmann" volume: "6940" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-28829-6" kind: "inproceedings" key: "HillsKV11" - title: "Using The Meta-Environment for Maintenance and Renovation" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Magiel Bruntink" link: "http://homepages.cwi.nl/~bruntink/" - name: "Giorgios R. Economopoulos" link: "http://users.ecs.soton.ac.uk/gre/" - name: "H. A. de Jong" link: "http://www.cwi.nl" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Taeke Kooiker" link: "http://www.cwi.nl" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2007" doi: "http://doi.ieeecomputersociety.org/10.1109/CSMR.2007.52" abstract: "The meta-environment is a flexible framework for language development, source code analysis and source code transformation. We highlight new features and demonstrate how the system supports key functionalities for software evolution: fact extraction, software analysis, visualization, and software transformation." links: doi: "http://doi.ieeecomputersociety.org/10.1109/CSMR.2007.52" tags: - "model-to-model transformation" - "meta-model" - "transformation language" - "metrics" - "points-to analysis" - "analysis" - "static analysis" - "model-driven development" - "software evolution" - "source-to-source" - "maintenance" - "transformation system" - "model transformation" - "Meta-Environment" - "visualization" - "IDE" - "open-source" - "meta-objects" - "transformation" researchr: "https://researchr.org/publication/BrandBEJKKSV07" cites: 0 citedby: 0 pages: "331-332" booktitle: "11th European Conference on Software Maintenance and Reengineering, Software Evolution in Complex Software Intensive Systems, CSMR 2007, 21-23 March 2007, Amsterdam, The Netherlands" editor: - name: "René L. Krikhaar" link: "https://researchr.org/alias/ren%C3%A9-l.-krikhaar" - name: "Chris Verhoef" link: "http://www.cs.vu.nl/~x/" - name: "Giuseppe A. Di Lucca" link: "https://researchr.org/alias/giuseppe-a.-di-lucca" publisher: "IEEE Computer Society" isbn: "0-7695-2802-3" kind: "inproceedings" key: "BrandBEJKKSV07" - title: "Meta-language Support for Type-Safe Access to External Resources" author: - name: "Mark Hills" link: "http://homepages.cwi.nl/~hills" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-36089-3_21" links: doi: "http://dx.doi.org/10.1007/978-3-642-36089-3_21" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/HillsKV12" researchr: "https://researchr.org/publication/HillsKV12" cites: 0 citedby: 0 pages: "372-391" booktitle: "Software Language Engineering, 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers" editor: - name: "Krzysztof Czarnecki" link: "http://www.swen.uwaterloo.ca/~kczarnec/" - name: "Görel Hedin" link: "http://cs.lth.se/gorel_hedin" volume: "7745" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-36089-3" kind: "inproceedings" key: "HillsKV12" - title: "Preface to the special section on Language Descriptions Tools and Applications (LDTA'08 & '09)" author: - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2013" doi: "http://dx.doi.org/10.1016/j.scico.2012.12.008" links: doi: "http://dx.doi.org/10.1016/j.scico.2012.12.008" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/Vinju13" researchr: "https://researchr.org/publication/Vinju13" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "78" number: "10" pages: "1751" kind: "article" key: "Vinju13" - title: "RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation" author: - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2009" doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2009.28" abstract: "Many automated software engineering tools require tight integration of techniques for source code analysis and manipulation. State-of-the-art tools exist for both, but the domains have remained notoriously separate because different computational paradigms fit each domain best. This impedance mismatch hampers the development of new solutions because the desired functionality and scalability can only be achieved by repeated and ad hoc integration of different techniques. Rascal is a domain-specific language that takes away most of this boilerplate by integrating source code analysis and manipulation at the conceptual, syntactic, semantic and technical level. We give an overview of the language and assess its merits by implementing a complex refactoring." links: doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2009.28" tags: - "refactoring" - "language engineering" - "software language engineering" - "points-to analysis" - "domain analysis" - "analysis" - "source-to-source" - "software engineering" - "open-source" - "domain-specific language" researchr: "https://researchr.org/publication/KlintSV09" cites: 0 citedby: 1 pages: "168-177" booktitle: "Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2009, Edmonton, Alberta, Canada, September 20-21, 2009" publisher: "IEEE Computer Society" isbn: "978-0-7695-3793-1" kind: "inproceedings" key: "KlintSV09" - title: "Preface" author: - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2015" doi: "http://dx.doi.org/10.1016/j.scico.2014.04.011" links: doi: "http://dx.doi.org/10.1016/j.scico.2014.04.011" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/Vinju15" researchr: "https://researchr.org/publication/Vinju15" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "97" pages: "1" kind: "article" key: "Vinju15" - title: "Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER)" author: - name: "Alessandra Bagnato" link: "https://researchr.org/alias/alessandra-bagnato" - name: "Konstantinos Barmpis" link: "https://researchr.org/alias/konstantinos-barmpis" - name: "Nik Bessis" link: "https://researchr.org/alias/nik-bessis" - name: "Luis Adrián Cabrera-Diego" link: "https://researchr.org/alias/luis-adri%C3%A1n-cabrera-diego" - name: "Juri Di Rocco" link: "https://researchr.org/alias/juri-di-rocco" - name: "Davide Di Ruscio" link: "https://researchr.org/alias/davide-di-ruscio" - name: "Tamás Gergely" link: "https://researchr.org/alias/tam%C3%A1s-gergely" - name: "Scott Hansen" link: "https://researchr.org/alias/scott-hansen" - name: "Dimitris S. Kolovos" link: "https://researchr.org/alias/dimitris-s.-kolovos" - name: "Philippe Krief" link: "https://researchr.org/alias/philippe-krief" - name: "Ioannis Korkontzelos" link: "https://researchr.org/alias/ioannis-korkontzelos" - name: "Stéphane Laurière" link: "https://researchr.org/alias/st%C3%A9phane-lauri%C3%A8re" - name: "Jose Manrique Lopez de la Fuente" link: "https://researchr.org/alias/jose-manrique-lopez-de-la-fuente" - name: "Pedro Maló" link: "https://researchr.org/alias/pedro-mal%C3%B3" - name: "Richard F. Paige" link: "https://researchr.org/alias/richard-f.-paige" - name: "Diomidis Spinellis" link: "https://researchr.org/alias/diomidis-spinellis" - name: "Cedric Thomas" link: "https://researchr.org/alias/cedric-thomas" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2017" doi: "https://doi.org/10.1007/978-3-319-74730-9_33" links: doi: "https://doi.org/10.1007/978-3-319-74730-9_33" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/staf/BagnatoBBCRRGHK17" researchr: "https://researchr.org/publication/BagnatoBBCRRGHK17" cites: 0 citedby: 0 pages: "375-384" booktitle: "Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers" editor: - name: "Martina Seidl" link: "https://researchr.org/alias/martina-seidl" - name: "Steffen Zschaler" link: "https://researchr.org/alias/steffen-zschaler" volume: "10748" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-74730-9" kind: "inproceedings" key: "BagnatoBBCRRGHK17" - title: "SDF Disambiguation Medkit for Programming Languages" author: - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2011" month: "april" doi: "http://oai.cwi.nl/oai/asset/18080/18080D.pdf" abstract: "This document assumes you have a reasonable knowlegde of SDF and parser generation concepts. It helps you solve a common issue when developing or maintaining a grammar for a (legacy) programming language: syntactical ambiguity. SDF has a number of so-called disambiguation constructs, which can be applied to solve ambiguities. This document helps you to apply them effectively." note: "Appeared in 2006 online at http://www.meta-environment.org, and was published as CWI technical report in 2011" links: doi: "http://oai.cwi.nl/oai/asset/18080/18080D.pdf" tags: - "programming languages" - "SDF" - "disambiguation" - "programming" - "parsing" - "ASF+SDF" - "grammar" researchr: "https://researchr.org/publication/medkit" cites: 0 citedby: 0 institution: "Centrum Wiskunde & Informatica" number: "SEN-1107" kind: "techreport" key: "medkit" - title: "A Case of Visitor versus Interpreter Pattern" author: - name: "Mark Hills" link: "http://homepages.cwi.nl/~hills" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2011" abstract: "We compare the Visitor pattern with the Interpreter pattern, investigating a single case in point for the Java language. We have produced and compared two versions of an interpreter for a programming language. The first version makes use of the Visitor pattern. The second version was obtained by using an automated refactoring to transform uses of the Visitor pattern to uses of the Interpreter pattern. We compare these two nearly equivalent versions on their maintenance character- istics and execution efficiency. Using a tailored experimental research method we can highlight differences and the causes thereof. The contributions of this paper are that it isolates the choice between Visitor and Interpreter in a realistic software project and makes the difference experimentally observable." tags: - "programming languages" - "Java" - "pattern language" - "interpreter" - "refactoring" - "visitor" - "maintenance" - "programming" researchr: "https://researchr.org/publication/HillsKlintVinju2011" cites: 0 citedby: 0 booktitle: "Proceedings of the 49th International Conference on Objects, Models, Components and Patterns" series: "TOOLS" kind: "inproceedings" key: "HillsKlintVinju2011" - title: "To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries" author: - name: "Michael J. Steindorfer" link: "http://michael.steindorfer.name" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2018" doi: "http://doi.acm.org/10.1145/3192366.3192420" links: doi: "http://doi.acm.org/10.1145/3192366.3192420" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/SteindorferV18" researchr: "https://researchr.org/publication/SteindorferV18" cites: 0 citedby: 0 pages: "283-295" booktitle: "Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018" editor: - name: "Jeffrey S. Foster" link: "https://researchr.org/alias/jeffrey-s.-foster" - name: "Dan Grossman" link: "https://researchr.org/alias/dan-grossman" publisher: "ACM" kind: "inproceedings" key: "SteindorferV18" - title: "Optimizations of List Matching in the ASF+SDF Compiler" author: - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "1999" month: "nov" abstract: "This thesis describes several optimizations of the run-time behavior of list matching and list construction in the ASF+SDF run-time. The basic semantics of lists in ASF+SDF is based on a persistent data-structure called ATerms that employs maximal sub-term sharing. This design is highly efficient for plain terms, but poses challenges for list manipulation." tags: - "optimization" - "semantics" - "rule-based" - "persistent" - "SDF" - "list matching" - "term rewriting" - "data-flow" - "graph-rewriting" - "compiler" - "rewriting" - "design" - "ASF+SDF" researchr: "https://researchr.org/publication/J99" cites: 0 citedby: 0 school: "Universiteit van Amsterdam" advisor: - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" kind: "mastersthesis" key: "J99" - title: "A Language Independent Framework for Context-sensitive Formatting" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Taeke Kooiker" link: "http://www.cwi.nl" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Niels P. Veerman" link: "http://www.cs.vu.nl/~nveerman/" year: "2006" doi: "http://doi.ieeecomputersociety.org/10.1109/CSMR.2006.4" abstract: "Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code transformation tool chain. In this paper we report on the application of generic tools for constructing formatters. In an industrial setting, automated formatters need to be tailored to the requirements of the customer. The (legacy) programming language or dialect and the corporate formatting conventions are specific and non-negotiable. Can generic formatting tools deal with such unexpected requirements? Driven by an industrial case of nearly 80 thousand lines of COBOL code, several limitations in existing formatting technology have been addressed. We improved its flexibility by replacing a generative phase by a generic tool, and we added a little expressiveness to the formatting back end. Most importantly, we employed a multi-stage formatting framework that can cope with any kind of formatting convention using more computational power." links: doi: "http://doi.ieeecomputersociety.org/10.1109/CSMR.2006.4" tags: - "generative programming" - "programming languages" - "model-to-model transformation" - "formatting" - "application framework" - "generic programming" - "SDF" - "prettyprinting" - "transformation language" - "little language" - "source-to-source" - "model transformation" - "programming" - "context-aware" - "staged computation" - "Cobol" - "box" - "ASF+SDF" - "open-source" - "transformation" - "program transformation" - "domain-specific language" researchr: "https://researchr.org/publication/BrandKVV06" cites: 0 citedby: 0 pages: "103-112" booktitle: "10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 22-24 March 2006, Bari, Italy" publisher: "IEEE Computer Society" isbn: "0-7695-2536-9" kind: "inproceedings" key: "BrandKVV06" - title: "Preface" author: - name: "Adrian Johnstone" link: "http://www.cs.rhul.ac.uk/~adrian/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2009" doi: "http://dx.doi.org/10.1016/j.entcs.2009.09.036" links: doi: "http://dx.doi.org/10.1016/j.entcs.2009.09.036" researchr: "https://researchr.org/publication/JohnstoneV09" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "238" number: "5" pages: "1-2" kind: "article" key: "JohnstoneV09" - title: "Parse Forest Diagnostics with Dr. Ambiguity" author: - name: "Hendrikus J. S. Basten" link: "https://www.cwi.nl/people/2119" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2011" doi: "http://dx.doi.org/10.1007/978-3-642-28830-2_16" links: doi: "http://dx.doi.org/10.1007/978-3-642-28830-2_16" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/BastenV11" researchr: "https://researchr.org/publication/BastenV11" cites: 0 citedby: 0 pages: "283-302" booktitle: "Software Language Engineering - 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers" editor: - name: "Anthony M. Sloane" link: "https://researchr.org/alias/anthony-m.-sloane" - name: "Uwe Aßmann" link: "https://researchr.org/alias/uwe-a%C3%9Fmann" volume: "6940" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-28829-6" kind: "inproceedings" key: "BastenV11" - title: "Automated generation of program translation and verification tools using annotated grammars" author: - name: "Diego Ordonez Camacho" link: "http://www.info.ucl.ac.be/~dordonez/Personal.html" - name: "Kim Mens" link: "http://www.info.ucl.ac.be/~km/MyResearchPages/research/" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2010" doi: "http://dx.doi.org/10.1016/j.scico.2009.10.003" links: doi: "http://dx.doi.org/10.1016/j.scico.2009.10.003" tags: - "translation" - "program verification" - "grammar" researchr: "https://researchr.org/publication/CamachoMBV10" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "75" number: "1-2" pages: "3-20" kind: "article" key: "CamachoMBV10" - title: "Guest editors' introduction to the 6th issue of Experimental Software and Toolkits (EST-6)" author: - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Kim Mens" link: "https://researchr.org/alias/kim-mens" year: "2017" doi: "http://dx.doi.org/10.1016/j.scico.2016.11.001" links: doi: "http://dx.doi.org/10.1016/j.scico.2016.11.001" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/BrandVM17" researchr: "https://researchr.org/publication/BrandVM17" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "134" pages: "1-3" kind: "article" key: "BrandVM17" - title: "Rascal: From Algebraic Specification to Meta-Programming" author: - name: "Jeroen van den Bos" link: "http://jvdb.org/" - name: "Mark Hills" link: "http://homepages.cwi.nl/~hills" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2011" tags: - "meta programming" - "meta-model" - "algebraic specification" - " algebra" - "programming" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/ammse11" cites: 0 citedby: 0 pages: "15-32" booktitle: "Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering (AMMSE), Zurich, Switzerland, June 30, 2011" kind: "inproceedings" key: "ammse11" - title: "How to make a bridge between transformation and analysis technologies?" author: - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "James R. Cordy" link: "http://research.cs.queensu.ca/~cordy/" year: "2005" doi: "http://drops.dagstuhl.de/opus/volltexte/2006/426" abstract: "At the Dagstuhl seminar on Transformation Techniques in Software Engineering we had an organized discussion on the intricacies of engineering practical connections between software analysis and software transformation tools. This abstract summarizes it. This discussion contributes mainly by explicitly focussing on this subject from a general perspective, and providing a first sketch of a domain analysis. First we discuss the solution space in general, and then we compare the merits of two entirely different designs: the monolithic versus the heterogeneous approach. " links: doi: "http://drops.dagstuhl.de/opus/volltexte/2006/426" tags: - "transformation engineering" - "domain analysis" - "analysis" - "software engineering" - "metaprogramming" - "systematic-approach" - "transformation" researchr: "https://researchr.org/publication/VinjuC05" cites: 0 citedby: 0 booktitle: "Transformation Techniques in Software Engineering, 17.-22. April 2005" editor: - name: "James R. Cordy" link: "http://research.cs.queensu.ca/~cordy/" - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" - name: "Andreas Winter" link: "http://www.uni-koblenz.de/~winter/" volume: "05161" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "inproceedings" key: "VinjuC05" - title: "Solving the bank with Rebel: on the design of the Rebel specification language and its application inside a bank" author: - name: "Jouke Stoel" link: "https://researchr.org/alias/jouke-stoel" - name: "Tijs van der Storm" link: "https://researchr.org/alias/tijs-van-der-storm" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Joost Bosman" link: "https://researchr.org/alias/joost-bosman" year: "2016" doi: "http://dl.acm.org/citation.cfm?id=2998413" links: doi: "http://dl.acm.org/citation.cfm?id=2998413" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/StoelSVB16" researchr: "https://researchr.org/publication/StoelSVB16" cites: 0 citedby: 0 pages: "13-20" booktitle: "Proceedings of the 1st Industry Track on Software Language Engineering, ITSLE@SLASH 2016, Amsterdam, Netherlands, October 31, 2016" editor: - name: "Yanja Dajsuren" link: "https://researchr.org/alias/yanja-dajsuren" - name: "Peter Kourzanov" link: "https://researchr.org/alias/peter-kourzanov" publisher: "ACM" isbn: "978-1-4503-4646-7" kind: "inproceedings" key: "StoelSVB16" - title: "An empirical study of PHP feature usage: a static analysis perspective" author: - name: "Mark Hills" link: "http://homepages.cwi.nl/~hills" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2013" doi: "http://doi.acm.org/10.1145/2483760.2483786" links: doi: "http://doi.acm.org/10.1145/2483760.2483786" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/issta/HillsKV13" researchr: "https://researchr.org/publication/HillsKV13" cites: 0 citedby: 0 pages: "325-335" booktitle: "International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013" editor: - name: "Mauro Pezzè" link: "https://researchr.org/alias/mauro-pezz%C3%A8" - name: "Mark Harman" link: "https://researchr.org/alias/mark-harman" publisher: "ACM" isbn: "978-1-4503-2159-4" kind: "inproceedings" key: "HillsKV13" - title: "Empirical Analysis of the Relationship between CC and SLOC in a Large Corpus of Java Methods" author: - name: "Davy Landman" link: "http://www.cwi.nl/~landman" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2014" doi: "http://dx.doi.org/10.1109/ICSME.2014.44" links: doi: "http://dx.doi.org/10.1109/ICSME.2014.44" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/LandmanSV14" researchr: "https://researchr.org/publication/LandmanSV14" cites: 0 citedby: 0 pages: "221-230" booktitle: "30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29 - October 3, 2014" publisher: "IEEE" isbn: "978-0-7695-5303-0" kind: "inproceedings" key: "LandmanSV14" - title: "AlleAlle: bounded relational model finding with unbounded data" author: - name: "Jouke Stoel" link: "https://researchr.org/alias/jouke-stoel" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2019" doi: "https://doi.org/10.1145/3359591.3359726" links: doi: "https://doi.org/10.1145/3359591.3359726" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/StoelSV19" researchr: "https://researchr.org/publication/StoelSV19" cites: 0 citedby: 0 pages: "46-61" booktitle: "Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2019, Athens, Greece, October 23-24, 2019" editor: - name: "Hidehiko Masuhara" link: "https://researchr.org/alias/hidehiko-masuhara" - name: "Tomas Petricek 0001" link: "https://researchr.org/alias/tomas-petricek-0001" publisher: "ACM" isbn: "978-1-4503-6995-4" kind: "inproceedings" key: "StoelSV19" - title: "Performance Modeling of Maximal Sharing" author: - name: "Michael J. Steindorfer" link: "http://michael.steindorfer.name" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2016" doi: "http://doi.acm.org/10.1145/2851553.2851566" links: doi: "http://doi.acm.org/10.1145/2851553.2851566" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wosp/SteindorferV16" researchr: "https://researchr.org/publication/SteindorferV16" cites: 0 citedby: 0 pages: "135-146" booktitle: "Proceedings of the 7th ACM/SPEC International Conference on Performance Engineering, ICPE 2016, Delft, The Netherlands, March 12-16, 2016" editor: - name: "Alberto Avritzer" link: "https://researchr.org/alias/alberto-avritzer" - name: "Alexandru Iosup" link: "https://researchr.org/alias/alexandru-iosup" - name: "Xiaoyun Zhu" link: "https://researchr.org/alias/xiaoyun-zhu" - name: "Steffen Becker" link: "https://researchr.org/alias/steffen-becker" publisher: "ACM" isbn: "978-1-4503-4080-9" kind: "inproceedings" key: "SteindorferV16" - title: "Rewriting with Layout" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2000" doi: "http://homepages.cwi.nl/~jurgenv/publications/papers/rewriting_with_layout.ps.gz" abstract: "Rewriting technology has proved to be an adequate and powerful mechanism to perform source code transformations. These transformations can not only be efficiently implemented using rewriting technology, but it also provides a firmer grip on the source code syntax. However, an important shortcoming of rewriting technology is that source code comments and layout are lost during rewriting. We propose \"rewriting with layout\" to solve this problem. We present a rewriting algorithm that keeps the layout of sub-terms that are not rewritten, and reuses the layout occurring in the right-hand side of the rewrite rules. " links: doi: "http://homepages.cwi.nl/~jurgenv/publications/papers/rewriting_with_layout.ps.gz" tags: - "model-to-model transformation" - "rule-based" - "source comments" - "layout" - "SDF" - "graph transformation" - "term rewriting" - "reuse" - "source-to-source" - "graph-rewriting" - "rules" - "model transformation" - "metaprogramming" - "rewriting" - "ASF+SDF" - "concrete syntax" - "open-source" - "transformation" - "whitespace" researchr: "https://researchr.org/publication/BV00" cites: 0 citedby: 0 booktitle: "Proceedings of RULE" editor: - name: "Claude Kirchner" link: "http://www.loria.fr/~ckirchne/" - name: "Nachum Dershowitz" link: "http://www.math.tau.ac.il/~nachumd/Homepage.html" kind: "inproceedings" key: "BV00" - title: "The ASF+SDF Meta-environment: A Component-Based Language Development Environment" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Arie van Deursen" link: "http://www.st.ewi.tudelft.nl/~arie/" - name: "Jan Heering" link: "http://homepages.cwi.nl/~jan/" - name: "H. A. de Jong" link: "http://www.cwi.nl" - name: "Merijn de Jonge" link: "https://researchr.org/profile/merijndejonge/publications" - name: "Tobias Kuipers" link: "http://www.sig.eu" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Leon Moonen" link: "http://simula.no/~leonm/" - name: "Pieter A. Olivier" link: "http://www.cwi.nl" - name: "Jeroen Scheerder" link: "http://www.linkedin.com/in/jeroenscheerder" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Eelco Visser" link: "http://eelcovisser.org" - name: "Joost Visser" link: "http://www.di.uminho.pt/~joost.visser/" year: "2001" doi: "https://doi.org/10.1016/S1571-0661(04)80917-4" abstract: "The Asf+Sdf Meta-environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for them. Over the years, this system has been used in a variety of academic and commercial projects ranging from formal program manipulation to conversion of COBOL systems. Since the existing implementation of the Meta-environment started exhibiting more and more characteristics of a legacy system, we decided to build a completely new, component-based, version. We demonstrate this new system and stress its open architecture. " links: doi: "https://doi.org/10.1016/S1571-0661(04)80917-4" tags: - "programming languages" - "rule-based" - "meta programming" - "SDF" - "meta-model" - "architecture" - "model-driven development" - "source-to-source" - "DSL" - "metaprogramming" - "Meta-Environment" - "Cobol" - "ASF+SDF" - "open-source" - "meta-objects" researchr: "https://researchr.org/publication/BrandDHJ01" cites: 0 citedby: 3 pages: "365-370" booktitle: "Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings" editor: - name: "Reinhard Wilhelm" link: "https://researchr.org/alias/reinhard-wilhelm" volume: "2027" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-41861-X" kind: "inproceedings" key: "BrandDHJ01" - title: "On the impact of DSL tools on the maintainability of language implementations" author: - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2010" doi: "http://doi.acm.org/10.1145/1868281.1868291" abstract: "The current rise of DSLs is often attributed to the existence of modern DSL tools that help to mitigate cost of ownership. Our main research goal is to investi- gate that non-trivial hypothesis. We present empirical results on the maintainability of six implementations of the same Domain Specific Language (DSL) using different languages (Java, JavaScript, C#) and DSL tools (ANTLR, OMeta, “M”). Our evaluation largely confirms that the maintainability of DSL implementations is higher when con- structed using DSL tools." links: doi: "http://doi.acm.org/10.1145/1868281.1868291" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/KlintSV10" tags: - "empirical" - "JavaScript" - "Java" - "C++" - "DSL" - "domain-specific language" researchr: "https://researchr.org/publication/KlintSV10" cites: 0 citedby: 0 pages: "10" booktitle: "Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS" editor: - name: "Claus Brabrand" link: "https://researchr.org/alias/claus-brabrand" - name: "Pierre-Etienne Moreau" link: "https://researchr.org/alias/pierre-etienne-moreau" publisher: "ACM" isbn: "978-1-4503-0063-6" kind: "inproceedings" key: "KlintSV10" - title: "Challenges for static analysis of Java reflection: literature review and empirical study" author: - name: "Davy Landman" link: "https://researchr.org/alias/davy-landman" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2017" doi: "http://dl.acm.org/citation.cfm?id=3097429" links: doi: "http://dl.acm.org/citation.cfm?id=3097429" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/LandmanSV17" researchr: "https://researchr.org/publication/LandmanSV17" cites: 0 citedby: 0 pages: "507-518" booktitle: "Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017" editor: - name: "Sebastián Uchitel" link: "https://researchr.org/alias/sebasti%C3%A1n-uchitel" - name: "Alessandro Orso" link: "https://researchr.org/alias/alessandro-orso" - name: "Martin P. Robillard" link: "https://researchr.org/alias/martin-p.-robillard" publisher: "IEEE / ACM" isbn: "978-1-5386-3868-2" kind: "inproceedings" key: "LandmanSV17" - title: "Mod4J: A Qualitative Case Study of Model-Driven Software Development" author: - name: "Vincent Lussenburg" link: "http://www.ordina.nl/" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Jos Warmer" link: "http://www.modeldrivensoftware.net/profile/JosWarmer" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-16129-2_25" abstract: "Model-driven software development (MDSD) has been on the rise over the past few years and is becoming more and more mature. However, evalu- ation in real-life industrial context is still scarce. In this paper, we present a case-study evaluating the applicability of a state-of- the-art MDSD tool, MOD4J, a suite of domain specific languages (DSLs) for developing administrative enterprise applications. MOD4J was used to partially rebuild an industrially representative application. This implementation was then compared to a base implementation based on elicited success criteria. Our evalu- ation leads to a number of recommendations to improve MOD4J. We conclude that having extension points for hand-written code is a good feature for a model driven software development environment." links: doi: "http://dx.doi.org/10.1007/978-3-642-16129-2_25" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/LussenburgSVW10" tags: - "rule-based" - "case study" - "meta-model" - "modeling language" - "modeling" - "language modeling" - "model-driven development" - "DSL" - "context-aware" - "Meta-Environment" - "domain-specific language" researchr: "https://researchr.org/publication/LussenburgSVW10" cites: 0 citedby: 0 pages: "346-360" booktitle: "Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II" editor: - name: "Dorina C. Petriu" link: "https://researchr.org/alias/dorina-c.-petriu" - name: "Nicolas Rouquette" link: "https://researchr.org/alias/nicolas-rouquette" - name: "Øystein Haugen" link: "https://researchr.org/alias/%C3%B8ystein-haugen" volume: "6395" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-16128-5" kind: "inproceedings" key: "LussenburgSVW10" - title: "Generator of efficient strongly typed abstract syntax trees in Java" author: - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" - name: "Pierre-Etienne Moreau" link: "https://researchr.org/alias/pierre-etienne-moreau" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2005" doi: "http://dx.doi.org/10.1049/ip-sen:20041181" links: doi: "http://dx.doi.org/10.1049/ip-sen:20041181" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/iee/BrandMV05" researchr: "https://researchr.org/publication/BrandMV05" cites: 0 citedby: 0 journal: "IEE Proceedings - Software" volume: "152" number: "2" pages: "70-78" kind: "article" key: "BrandMV05" - title: "EASY Meta-Programming with Rascal. Leveraging the Extract-Analyze-SYnthesize Paradigm for Meta-Programming" author: - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2010" abstract: "Rascal is a new language for meta-programming and is intended to solve problems in the domain of source code analysis and transformation. In this article we give a high-level overview of the language and illustrate its use by many examples. Rascal is a work in progress both regarding implementation and documentation. More information is available at http://www.rascal-mpl.org/." note: "to appear" tags: - "rascal" - "programming languages" - "model-to-model transformation" - "program analysis" - "meta programming" - "meta-model" - "transformation language" - "points-to analysis" - "domain analysis" - "analysis" - "static analysis" - "source-to-source" - "programming paradigms" - "model transformation" - "programming" - "metaprogramming" - "Meta-Environment" - "open-source" - "meta-objects" - "transformation" - "program transformation" - "domain-specific language" researchr: "https://researchr.org/publication/RascalGTTSE" cites: 0 citedby: 0 booktitle: "Proceedings of the 3rd International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE'09)" series: "LNCS" publisher: "Springer" kind: "inproceedings" key: "RascalGTTSE" - title: "Corrigendum: Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions published on 9 December 2015" author: - name: "Davy Landman" link: "https://researchr.org/alias/davy-landman" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Eric Bouwers" link: "https://researchr.org/alias/eric-bouwers" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2017" doi: "https://doi.org/10.1002/smr.1914" links: doi: "https://doi.org/10.1002/smr.1914" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/smr/LandmanSBV17" researchr: "https://researchr.org/publication/LandmanSBV17" cites: 0 citedby: 0 journal: "Journal of Software Maintenance" volume: "29" number: "10" kind: "article" key: "LandmanSBV17" - title: "Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions" author: - name: "Davy Landman" link: "https://researchr.org/alias/davy-landman" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Eric Bouwers" link: "https://researchr.org/alias/eric-bouwers" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2016" doi: "http://dx.doi.org/10.1002/smr.1760" links: doi: "http://dx.doi.org/10.1002/smr.1760" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/smr/LandmanSBV16" researchr: "https://researchr.org/publication/LandmanSBV16" cites: 0 citedby: 0 journal: "Journal of Software Maintenance" volume: "28" number: "7" pages: "589-618" kind: "article" key: "LandmanSBV16" - title: "Analysis and Transformation of Source Code by Parsing and Rewriting" author: - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2005" month: "nov" abstract: "In this thesis the subject of study is source code. More precisely, I am inter- ested in tools that help in describing, analyzing and transforming source code. The overall question is how well qualified and versatile the programming language ASF+SDF is when applied to source code analysis and trans- formation. The main technical issues that are addressed are ambiguity of context-free languages and improving two important quality attributes of analyses and transformations: conciseness and fidelity. The overall result of this research is a version of the language that is bet- ter tuned to the domain of source code analysis and transformation, but is still firmly grounded on the original: a hybrid of context-free grammars and term rewriting. The results that are presented have a broad technical spectrum because they cover the entire scope of ASF+SDF. They include disambiguation by filtering parse forests, the type-safe automation of tree traversal for conciseness, improvements in language design resulting in higher resolution and fidelity, and better interfacing with other program- ming environments. Each solution has been validated in practice, by me and by others, mostly in the context of industrial sized case studies. " tags: - "programming languages" - "model-to-model transformation" - "object-oriented programming" - "concrete object syntax" - "attribute grammars" - "program analysis" - "meta programming" - "case study" - "SDF" - "graph transformation" - "traversal" - "transformation language" - "disambiguation" - "term rewriting" - "design research" - "points-to analysis" - "domain analysis" - "analysis" - "language design" - "source-to-source" - "graph-rewriting" - "model transformation" - "programming" - "subject-oriented programming" - "context-aware" - "metaprogramming" - "Meta-Environment" - "higher-order transformations" - "rewriting" - "parsing" - "design" - "ASF+SDF" - "feature-oriented programming" - "concrete syntax" - "open-source" - "transformation" - "grammar" - "program transformation" - "domain-specific language" researchr: "https://researchr.org/publication/vinju05%3A0" cites: 0 citedby: 0 advisor: - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" kind: "phdthesis" key: "vinju05:0" - title: "Language Parametric Module Management for IDEs" author: - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Taeke Kooiker" link: "http://www.cwi.nl" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2008" doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.041" abstract: "An integrated development environment (IDE) monitors all the changes that a user makes to source code modules and responds accordingly by flagging errors, by reparsing, by rechecking, or by recompiling modules and by adjusting visualizations or other information derived from a module. A module manager is the central component of the IDE that is responsible for this behavior. Although the overall functionality of a module manager in a given IDE is fixed, its actual behavior strongly depends on the programming languages it has to support. What is a module? How do modules depend on each other? What is the effect of a change to a module? We propose a concise design for a language parametric module manager: a module manager that is parameterized with the module behavior of a specific language. We describe the design of our module manager and discuss some of its properties. We also report on the application of the module manager in the construction of IDEs for the specification language Asf+Sdf as well as for Java. Our overall goal is the rapid development (generation) of IDEs for programming languages and domain specific languages. The module manager presented here represents a next step in the creation of such generic language workbenches." links: doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.041" tags: - "programming languages" - "workbench" - "Java" - "meta programming" - "generic programming" - "SDF" - "functional programming" - "language design" - "source-to-source" - "code generation" - "programming" - "language workbench" - "Meta-Environment" - "design" - "ASF+SDF" - "IDE" - "open-source" - "domain-specific language" researchr: "https://researchr.org/publication/KlintKV08" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "203" number: "2" pages: "3-19" kind: "article" key: "KlintKV08" - title: "Faster ambiguity detection by grammar filtering" author: - name: "Bas Basten" link: "http://homepages.cwi.nl/~basten" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2010" doi: "http://doi.acm.org/10.1145/1868281.1868286" abstract: "Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development environment should therefore contain a static ambiguity checker to help the grammar engineer. Ambiguity of context-free grammars is an undecidable property. Nevertheless, various imperfect ambiguity checkers exist. Exhaustive methods are accurate, but suffer from non-termination. Termination is guaranteed by approximative methods, at the expense of accuracy. In this paper we combine an approximative method with an exhaustive method. We present an extension to the Noncanonical Unambiguity Test that identifies production rules that do not contribute to the ambiguity of a grammar and show how this information can be used to significantly reduce the search space of exhaustive methods. Our experimental evalua- tion on a number of real world grammars shows orders of magnitude gains in efficiency in some cases and negligible losses of efficiency in others." links: doi: "http://doi.acm.org/10.1145/1868281.1868286" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/BastenV10" tags: - "programming languages" - "context-free grammars" - "rule-based" - "meta programming" - "SDF" - "testing" - "termination" - "rules" - "programming" - "context-aware" - "Meta-Environment" - "search" - "ambiguity detection" - "ASF+SDF" - "grammar" researchr: "https://researchr.org/publication/BastenV10" cites: 0 citedby: 0 pages: "5" booktitle: "Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS" editor: - name: "Claus Brabrand" link: "https://researchr.org/alias/claus-brabrand" - name: "Pierre-Etienne Moreau" link: "https://researchr.org/alias/pierre-etienne-moreau" publisher: "ACM" isbn: "978-1-4503-0063-6" kind: "inproceedings" key: "BastenV10" - title: "Supporting Custom Quality Models to Analyse and Compare Open-Source Software" author: - name: "Davide Di Ruscio" link: "https://researchr.org/alias/davide-di-ruscio" - name: "Dimitrios S. Kolovos" link: "https://researchr.org/alias/dimitrios-s.-kolovos" - name: "Yannis Korkontzelos" link: "https://researchr.org/alias/yannis-korkontzelos" - name: "Nicholas Matragkas" link: "https://researchr.org/alias/nicholas-matragkas" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2016" doi: "http://doi.ieeecomputersociety.org/10.1109/QUATIC.2016.026" links: doi: "http://doi.ieeecomputersociety.org/10.1109/QUATIC.2016.026" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/quatic/RuscioKKMV16" researchr: "https://researchr.org/publication/RuscioKKMV16" cites: 0 citedby: 0 pages: "94-99" booktitle: "10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016, Lisbon, Portugal, September 6-9, 2016" publisher: "IEEE Computer Society" isbn: "978-1-5090-3581-6" kind: "inproceedings" key: "RuscioKKMV16" - title: "Exploring the Limits of Domain Model Recovery" author: - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Davy Landman" link: "http://www.cwi.nl/~landman" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2013" doi: "http://dx.doi.org/10.1109/ICSM.2013.23" links: doi: "http://dx.doi.org/10.1109/ICSM.2013.23" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/KlintLV13" researchr: "https://researchr.org/publication/KlintLV13" cites: 0 citedby: 0 pages: "120-129" booktitle: "2013 IEEE International Conference on Software Maintenance, Eindhoven, The Netherlands, September 22-28, 2013" publisher: "IEEE" kind: "inproceedings" key: "KlintLV13" - title: "Concrete Syntax with Black Box Parsers" author: - name: "Rodin Aarssen" link: "https://researchr.org/alias/rodin-aarssen" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" year: "2019" doi: "https://doi.org/10.22152/programming-journal.org/2019/3/15" links: doi: "https://doi.org/10.22152/programming-journal.org/2019/3/15" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/programming/AarssenVS19" researchr: "https://researchr.org/publication/AarssenVS19" cites: 0 citedby: 0 journal: "Programming Journal" volume: "3" number: "3" pages: "15" kind: "article" key: "AarssenVS19" - title: "Modular language implementation in Rascal - experience report" author: - name: "Bas Basten" link: "https://researchr.org/alias/bas-basten" - name: "Jeroen van den Bos" link: "https://researchr.org/alias/jeroen-van-den-bos" - name: "Mark Hills 0001" link: "https://researchr.org/alias/mark-hills-0001" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Arnold Lankamp" link: "https://researchr.org/alias/arnold-lankamp" - name: "Bert Lisser" link: "https://researchr.org/alias/bert-lisser" - name: "Atze van der Ploeg" link: "https://researchr.org/alias/atze-van-der-ploeg" - name: "Tijs van der Storm" link: "https://researchr.org/alias/tijs-van-der-storm" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2015" doi: "http://dx.doi.org/10.1016/j.scico.2015.11.003" links: doi: "http://dx.doi.org/10.1016/j.scico.2015.11.003" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/BastenB0KLLPSV15" researchr: "https://researchr.org/publication/BastenB0KLLPSV15" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "114" pages: "7-19" kind: "article" key: "BastenB0KLLPSV15" - title: "Prototyping a tool environment for run-time assertion checking in JML with communication histories" author: - name: "Frank S. de Boer" link: "https://researchr.org/alias/frank-s.-de-boer" - name: "Stijn de Gouw" link: "https://researchr.org/alias/stijn-de-gouw" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2010" doi: "http://doi.acm.org/10.1145/1924520.1924526" links: doi: "http://doi.acm.org/10.1145/1924520.1924526" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/BoerGV10" researchr: "https://researchr.org/publication/BoerGV10" cites: 0 citedby: 0 booktitle: "Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010" publisher: "ACM" isbn: "978-1-4503-0540-2" kind: "inproceedings" key: "BoerGV10" - title: "Term rewriting with traversal functions" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2003" doi: "http://doi.acm.org/10.1145/941566.941568" abstract: "Term rewriting is an appealing technique for performing program analysis and program transformation. Tree (term) traversal is frequently used but is not supported by standard term rewriting. We extend many-sorted, first-order term rewriting with traversal functions that automate tree traversal in a simple and type-safe way. Traversal functions can be bottom-up or top-down traversals and can either traverse all nodes in a tree or can stop the traversal at a certain depth as soon as a matching node is found. They can either define sort-preserving transformations or mappings to a fixed sort. We give small and somewhat larger examples of traversal functions and describe their operational semantics and implementation. An assessment of various applications and a discussion conclude the article." links: doi: "http://doi.acm.org/10.1145/941566.941568" tags: - "types" - "semantics" - "program analysis" - "graph transformation" - "traversal" - "term rewriting" - "analysis" - "type system" - "graph-rewriting" - "transformation system" - "operational semantics" - "higher-order transformations" - "rewriting" - "transformation" - "program transformation" researchr: "https://researchr.org/publication/BrandKV03" cites: 0 citedby: 0 journal: "ACM Transactions on Software Engineering Methodology" volume: "12" number: "2" pages: "152-190" kind: "article" key: "BrandKV03" - title: "Term Rewriting with Type-safe Traversal Functions" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2002" doi: "http://dx.doi.org/10.1016/S1571-0661(04)80602-9" abstract: "Term rewriting is an appealing technique for performing program analysis and program transformation. Tree (term) traversal is frequently used but is not supported by standard term rewriting. In this paper, many-sorted first-order term rewriting is extended with automatic tree traversal by adding two primitive tree traversal strategies and complementing them with three types of traversals. These so-called traversal functions can be either top-down or bottom-up. They can be sort preserving, mapping to a single sort, or a combination of these two. Traversal functions have a simple design, their application is type-safe in a first-order many-sorted setting and can be implemented efficiently. We describe the operational semantics of traversal functions and discuss applications." links: doi: "http://dx.doi.org/10.1016/S1571-0661(04)80602-9" tags: - "types" - "semantics" - "program analysis" - "graph transformation" - "traversal" - "term rewriting" - "analysis" - "graph-rewriting" - "operational semantics" - "higher-order transformations" - "rewriting" - "design" - "rewriting strategies" - "transformation" - "program transformation" researchr: "https://researchr.org/publication/BrandKV02" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "70" number: "6" pages: "100-117" kind: "article" key: "BrandKV02" - title: "On Error-Class Distribution in Automotive Model-Based Software" author: - name: "Harald Altinger" link: "https://researchr.org/alias/harald-altinger" - name: "Yanja Dajsuren" link: "https://researchr.org/alias/yanja-dajsuren" - name: "Sebastian Siegl" link: "https://researchr.org/alias/sebastian-siegl" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Franz Wotawa" link: "https://researchr.org/alias/franz-wotawa" year: "2016" doi: "http://doi.ieeecomputersociety.org/10.1109/SANER.2016.81" links: doi: "http://doi.ieeecomputersociety.org/10.1109/SANER.2016.81" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wcre/AltingerDSVW16" researchr: "https://researchr.org/publication/AltingerDSVW16" cites: 0 citedby: 0 pages: "688-692" booktitle: "IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, Suita, Osaka, Japan, March 14-18, 2016" publisher: "IEEE" isbn: "978-1-5090-1855-0" kind: "inproceedings" key: "AltingerDSVW16" - title: "Automated Derivation of Translators From Annotated Grammars" author: - name: "Diego Ordonez Camacho" link: "http://www.info.ucl.ac.be/~dordonez/Personal.html" - name: "Kim Mens" link: "http://www.info.ucl.ac.be/~km/MyResearchPages/research/" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2006" doi: "DOI: 10.1016/j.entcs.2006.10.009" abstract: "In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures. We exploit the similarities between those languages to semi-automatically build a transformation schema between them, through the use of annotated grammars. To improve the overall translation process even more, reducing its complexity, we also propose an intermediate representation common to all operations languages. We validate our approach by semi-automatically deriving translators between some operations languages, using a prototype tool which we implemented for that purpose." note: "Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications (LDTA 2006)" links: successor: "https://researchr.org/publication/OrdonezCamacho2009" "url": "http://www.sciencedirect.com/science/article/B75H1-4M59GXV-B/2/83b4a65e7076a334c1c86ca9b5730aee" tags: - "programming languages" - "model-to-model transformation" - "intermediate representation" - "translation" - "operations languages" - "SDF" - "XML" - "XML Schema" - "transformation language" - "source-to-source" - "model transformation" - "DSL" - "metaprogramming" - "systematic-approach" - "ASF+SDF" - "open-source" - "transformation" - "grammar" - "program transformation" researchr: "https://researchr.org/publication/OrdonezCamacho2006121" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "164" number: "2" kind: "article" key: "OrdonezCamacho2006121" - title: "Towards a universal code formatter through machine learning" author: - name: "Terence John Parr" link: "http://www.cs.usfca.edu/~parrt/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2016" doi: "http://dl.acm.org/citation.cfm?id=2997383" links: doi: "http://dl.acm.org/citation.cfm?id=2997383" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/ParrV16" researchr: "https://researchr.org/publication/ParrV16" cites: 0 citedby: 0 pages: "137-151" booktitle: "Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31 - November 1, 2016" editor: - name: "Tijs van der Storm" link: "https://researchr.org/alias/tijs-van-der-storm" - name: "Emilie Balland" link: "https://researchr.org/alias/emilie-balland" - name: "Dániel Varró" link: "https://researchr.org/alias/d%C3%A1niel-varr%C3%B3" publisher: "ACM" isbn: "978-1-4503-4447-0" kind: "inproceedings" key: "ParrV16" - title: "OSSMETER: Automated Measurement and Analysis of Open Source Software" author: - name: "Bruno Almeida" link: "https://researchr.org/alias/bruno-almeida" - name: "Sophia Ananiadou" link: "https://researchr.org/alias/sophia-ananiadou" - name: "Alessandra Bagnato" link: "https://researchr.org/alias/alessandra-bagnato" - name: "Alberto Berreteaga Barbero" link: "https://researchr.org/alias/alberto-berreteaga-barbero" - name: "Juri Di Rocco" link: "https://researchr.org/alias/juri-di-rocco" - name: "Davide Di Ruscio" link: "https://researchr.org/alias/davide-di-ruscio" - name: "Dimitrios S. Kolovos" link: "https://researchr.org/alias/dimitrios-s.-kolovos" - name: "Ioannis Korkontzelos" link: "https://researchr.org/alias/ioannis-korkontzelos" - name: "Scott Hansen" link: "https://researchr.org/alias/scott-hansen" - name: "Pedro Maló" link: "https://researchr.org/alias/pedro-mal%C3%B3" - name: "Nikolaos Drivalos" link: "https://researchr.org/alias/nikolaos-drivalos" - name: "Richard F. Paige" link: "https://researchr.org/alias/richard-f.-paige" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2015" doi: "http://ceur-ws.org/Vol-1400/paper9.pdf" links: doi: "http://ceur-ws.org/Vol-1400/paper9.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/staf/AlmeidaABBRRKKH15" researchr: "https://researchr.org/publication/AlmeidaABBRRKKH15" cites: 0 citedby: 0 pages: "36-43" booktitle: "Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015), L'Aquila, Italy, July 22, 2015" editor: - name: "Marco Autili" link: "https://researchr.org/alias/marco-autili" - name: "Tom Ritter" link: "https://researchr.org/alias/tom-ritter" - name: "Andrey Sadovykh" link: "https://researchr.org/alias/andrey-sadovykh" - name: "Massimo Tivoli" link: "http://www.di.univaq.it/tivoli" volume: "1400" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "AlmeidaABBRRKKH15" - title: "Towards a software product line of trie-based collections" author: - name: "Michael J. Steindorfer" link: "http://michael.steindorfer.name" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2016" doi: "http://doi.acm.org/10.1145/2993236.2993251" links: doi: "http://doi.acm.org/10.1145/2993236.2993251" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/SteindorferV16" researchr: "https://researchr.org/publication/SteindorferV16-0" cites: 0 citedby: 0 pages: "168-172" booktitle: "Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2016, Amsterdam, The Netherlands, October 31 - November 1, 2016" editor: - name: "Bernd Fischer" link: "https://researchr.org/alias/bernd-fischer" - name: "Ina Schaefer" link: "https://researchr.org/alias/ina-schaefer" publisher: "ACM" isbn: "978-1-4503-4446-3" kind: "inproceedings" key: "SteindorferV16-0" - title: "Engineering Academic Software (Dagstuhl Perspectives Workshop 16252)" author: - name: "Alice Allen" link: "https://researchr.org/alias/alice-allen" - name: "Cecilia R. Aragon" link: "https://researchr.org/alias/cecilia-r.-aragon" - name: "Christoph Becker" link: "https://researchr.org/alias/christoph-becker" - name: "Jeffrey Carver" link: "https://researchr.org/alias/jeffrey-carver" - name: "Andrei Chis" link: "https://researchr.org/alias/andrei-chis" - name: "Benoît Combemale" link: "https://researchr.org/alias/beno%C3%AEt-combemale" - name: "Mike Croucher" link: "https://researchr.org/alias/mike-croucher" - name: "Kevin Crowston" link: "https://researchr.org/alias/kevin-crowston" - name: "Daniel Garijo" link: "https://researchr.org/alias/daniel-garijo" - name: "Ashish Gehani" link: "https://researchr.org/alias/ashish-gehani" - name: "Carole A. Goble" link: "https://researchr.org/alias/carole-a.-goble" - name: "Robert Haines" link: "https://researchr.org/alias/robert-haines" - name: "Robert Hirschfeld" link: "https://researchr.org/alias/robert-hirschfeld" - name: "James Howison" link: "https://researchr.org/alias/james-howison" - name: "Kathryn Huff" link: "https://researchr.org/alias/kathryn-huff" - name: "Caroline Jay" link: "https://researchr.org/alias/caroline-jay" - name: "Daniel S. Katz" link: "https://researchr.org/alias/daniel-s.-katz" - name: "Claude Kirchner" link: "https://researchr.org/alias/claude-kirchner" - name: "Katie Kuksenok" link: "https://researchr.org/alias/katie-kuksenok" - name: "Ralf Lämmel" link: "https://researchr.org/alias/ralf-l%C3%A4mmel" - name: "Oscar Nierstrasz" link: "https://researchr.org/alias/oscar-nierstrasz" - name: "Matthew Turk" link: "https://researchr.org/alias/matthew-turk" - name: "Rob van Nieuwpoort" link: "https://researchr.org/alias/rob-van-nieuwpoort" - name: "Matthew Vaughn" link: "https://researchr.org/alias/matthew-vaughn" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2017" doi: "https://doi.org/10.4230/DagMan.6.1.1" links: doi: "https://doi.org/10.4230/DagMan.6.1.1" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/dagstuhl-manifestos/AllenABCCCCCGGG17" researchr: "https://researchr.org/publication/AllenABCCCCCGGG17" cites: 0 citedby: 0 journal: "Dagstuhl Manifestos" volume: "6" number: "1" pages: "1-20" kind: "article" key: "AllenABCCCCCGGG17" - title: "An empirical evaluation of OSGi dependencies best practices in the eclipse IDE" author: - name: "Lina Ochoa" link: "https://researchr.org/alias/lina-ochoa" - name: "Thomas Degueule" link: "https://researchr.org/alias/thomas-degueule" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2018" doi: "https://doi.org/10.1145/3196398.3196416" links: doi: "https://doi.org/10.1145/3196398.3196416" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/msr/OchoaDV18" researchr: "https://researchr.org/publication/OchoaDV18" cites: 0 citedby: 0 pages: "170-180" booktitle: "Proceedings of the 15th International Conference on Mining Software Repositories, MSR 2018, Gothenburg, Sweden, May 28-29, 2018" editor: - name: "Andy Zaidman" link: "https://researchr.org/alias/andy-zaidman" - name: "Yasutaka Kamei" link: "https://researchr.org/alias/yasutaka-kamei" - name: "Emily Hill" link: "https://researchr.org/alias/emily-hill" publisher: "ACM" kind: "inproceedings" key: "OchoaDV18" - title: "A One-Stop-Shop for Software Evolution Tool Construction" author: - name: "Mark Hills" link: "http://homepages.cwi.nl/~hills" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2012" doi: "http://ercim-news.ercim.eu/en88/special/a-one-stop-shop-for-software-evolution-tool-construction" links: doi: "http://ercim-news.ercim.eu/en88/special/a-one-stop-shop-for-software-evolution-tool-construction" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ercim/HillsKSV12" researchr: "https://researchr.org/publication/HillsKSV12" cites: 0 citedby: 0 journal: "ERCIM News" volume: "2012" number: "88" kind: "article" key: "HillsKSV12" - title: "Enabling PHP software engineering research in Rascal" author: - name: "Mark Hills 0001" link: "https://researchr.org/alias/mark-hills-0001" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2017" doi: "http://dx.doi.org/10.1016/j.scico.2016.05.003" links: doi: "http://dx.doi.org/10.1016/j.scico.2016.05.003" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/HillsKV17" researchr: "https://researchr.org/publication/HillsKV17" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "134" pages: "37-46" kind: "article" key: "HillsKV17" - title: "Disambiguation Filters for Scannerless Generalized LR Parsers" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Jeroen Scheerder" link: "http://www.linkedin.com/in/jeroenscheerder" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Eelco Visser" link: "http://eelcovisser.org" year: "2002" doi: "https://doi.org/10.1007/3-540-45937-5_12" abstract: "In this paper we present the fusion of generalized LR parsing and scannerless parsing. This combination supports syntax definitions in which all aspects (lexical and context-free) of the syntax of a language are defined explicitly in one formalism. Furthermore, there are no restrictions on the class of grammars, thus allowing a natural syntax tree structure. Ambiguities that arise through the use of unrestricted grammars are handled by explicit disambiguation constructs, instead of implicit defaults that are taken by traditional scanner and parser generators. Hence, a syntax definition becomes a full declarative description of a language. Scannerless generalized LR parsing is a viable technique that has been applied in various industrial and academic projects. " links: doi: "https://doi.org/10.1007/3-540-45937-5_12" tags: - "GLR parsing" - "syntax definition" - "SDF" - "lexical syntax" - "scannerless" - "disambiguation" - "GLR" - "context-aware" - "parsing" - "scannerless parsing" - "ASF+SDF" - "SGLR" - "grammar" researchr: "https://researchr.org/publication/BrandSVV02" cites: 0 citedby: 4 pages: "143-158" booktitle: "Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings" editor: - name: "R. Nigel Horspool" link: "https://researchr.org/alias/r.-nigel-horspool" volume: "2304" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-43369-4" kind: "inproceedings" key: "BrandSVV02" - title: "Welcome from the Doctoral Symposium Chair" author: - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2012" doi: "http://doi.ieeecomputersociety.org/10.1109/CSMR.2012.86" links: doi: "http://doi.ieeecomputersociety.org/10.1109/CSMR.2012.86" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/csmr/Vinju12" researchr: "https://researchr.org/publication/Vinju12" cites: 0 citedby: 0 pages: "501" booktitle: "16th European Conference on Software Maintenance and Reengineering, CSMR 2012, Szeged, Hungary, March 27-30, 2012" editor: - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" - name: "Anthony Cleve" link: "https://researchr.org/alias/anthony-cleve" - name: "Rudolf Ferenc" link: "https://researchr.org/alias/rudolf-ferenc" publisher: "IEEE" isbn: "978-1-4673-0984-4" kind: "inproceedings" key: "Vinju12" - title: "The Rascal Tutor" author: - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2011" month: "october" abstract: "The Rascal Tutor is an interactive documentation environment for learning about meta programming with Rascal: http://tutor.rascal-mpl.org" note: "http://tutor.rascal-mpl.org" tags: - "rascal" - "meta programming" - "meta-model" - "manual" - "programming" - "metaprogramming" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/and-Jurgen-Vinju-and-Tijs-van-der-Storm2011" cites: 0 citedby: 0 organization: "Centrum Wiskunde & Informatica" edition: "first" kind: "manual" key: "and-Jurgen-Vinju-and-Tijs-van-der-Storm2011" - title: "TIDE: A Generic Debugging Framework - Tool Demonstration" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Bas Cornelissen" link: "http://www.st.ewi.tudelft.nl/~cornel/" - name: "Pieter A. Olivier" link: "http://www.cwi.nl" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2005" doi: "http://dx.doi.org/10.1016/j.entcs.2005.02.056" abstract: "A language specific interactive debugger is one of the tools that we expect in any mature programming environment. We present applications of TIDE: a generic debugging framework that is related to the ASF+SDF Meta-Environment. TIDE can be applied to different levels of debugging that occur in language design. Firstly, TIDE was used to obtain a full-fledged debugger for language specifications based on term rewriting. Secondly, TIDE can be instantiated for any other programming language, including but not limited to domain specific languages that are defined and implemented using ASF+SDF. We demonstrate the common debugging interface, and indicate the amount of effort needed to instantiate new debuggers based on TIDE. " links: doi: "http://dx.doi.org/10.1016/j.entcs.2005.02.056" tags: - "programming languages" - "rule-based" - "meta programming" - "application framework" - "generic programming" - "SDF" - "meta-model" - "term rewriting" - "language design" - "graph-rewriting" - "debugging" - "programming" - "Meta-Environment" - "rewriting" - "design" - "ASF+SDF" - "IDE" - "meta-objects" - "domain-specific language" researchr: "https://researchr.org/publication/BrandCOV05" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "141" number: "4" pages: "161-165" kind: "article" key: "BrandCOV05" - title: "Static, lightweight includes resolution for PHP" author: - name: "Mark Hills" link: "http://homepages.cwi.nl/~hills" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2014" doi: "http://doi.acm.org/10.1145/2642937.2643017" links: doi: "http://doi.acm.org/10.1145/2642937.2643017" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kbse/HillsKV14" researchr: "https://researchr.org/publication/HillsKV14" cites: 0 citedby: 0 pages: "503-514" booktitle: "ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014" editor: - name: "Ivica Crnkovic" link: "https://researchr.org/alias/ivica-crnkovic" - name: "Marsha Chechik" link: "https://researchr.org/alias/marsha-chechik" - name: "Paul Grünbacher" link: "https://researchr.org/alias/paul-gr%C3%BCnbacher" publisher: "ACM" isbn: "978-1-4503-3013-8" kind: "inproceedings" key: "HillsKV14" - title: "Optimizing hash-array mapped tries for fast and lean immutable JVM collections" author: - name: "Michael J. Steindorfer" link: "http://michael.steindorfer.name" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2015" doi: "http://doi.acm.org/10.1145/2814270.2814312" links: doi: "http://doi.acm.org/10.1145/2814270.2814312" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/SteindorferV15" researchr: "https://researchr.org/publication/SteindorferV15" cites: 0 citedby: 0 pages: "783-800" booktitle: "Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications" editor: - name: "Jonathan Aldrich" link: "https://researchr.org/alias/jonathan-aldrich" - name: "Patrick Eugster" link: "https://researchr.org/alias/patrick-eugster" publisher: "ACM" isbn: "978-1-4503-3689-5" kind: "inproceedings" key: "SteindorferV15" - title: "Bacatá: a language parametric notebook generator (tool demo)" author: - name: "Mauricio Verano Merino" link: "https://researchr.org/alias/mauricio-verano-merino" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" year: "2018" doi: "https://doi.org/10.1145/3276604.3276981" links: doi: "https://doi.org/10.1145/3276604.3276981" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/MerinoVS18" researchr: "https://researchr.org/publication/MerinoVS18" cites: 0 citedby: 0 pages: "210-214" booktitle: "Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, Boston, MA, USA, November 05-06, 2018" editor: - name: "David Pearce 0005" link: "https://researchr.org/alias/david-pearce-0005" - name: "Tanja Mayerhofer" link: "https://researchr.org/alias/tanja-mayerhofer" - name: "Friedrich Steimann" link: "http://www.fernuni-hagen.de/ps/team/friedrich.steimann.shtml" publisher: "ACM" isbn: "978-1-4503-6029-6" kind: "inproceedings" key: "MerinoVS18" - title: "What Does Control Flow Really Look Like? Eyeballing the Cyclomatic Complexity Metric" author: - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Michael W. Godfrey" link: "http://plg.uwaterloo.ca/~migod/" year: "2012" doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2012.17" links: doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2012.17" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/scam/VinjuG12" researchr: "https://researchr.org/publication/VinjuG12" cites: 0 citedby: 0 pages: "154-163" booktitle: "12th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2012, Riva del Garda, Italy, September 23-24, 2012" publisher: "IEEE Computer Society" isbn: "978-1-4673-2398-7" kind: "inproceedings" key: "VinjuG12" - title: "Prototyping a tool environment for run-time assertion checking in JML with Communication Histories" author: - name: "Stijn de Gouw" link: "http://www.cwi.nl/en/people/2306" - name: "Frank S. de Boer" link: "http://homepages.cwi.nl/~frb/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2010" doi: "http://dx.doi.org/10.1145/1924520.1924526" abstract: "In this paper we present prototype tool-support for the runtime assertion checking of the Java Modeling Language (JML) extended with communication histories specified by attribute grammars. Our tool suite integrates Rascal, a meta programming language and ANTLR, a popular parser generator. Rascal instantiates a generic model of history updates for a given Java program annotated with history specifications. ANTLR is used for the actual evaluation of history assertions." links: doi: "http://dx.doi.org/10.1145/1924520.1924526" tags: - "rascal" - "programming languages" - "Java" - "attribute grammars" - "meta programming" - "generic programming" - "model checking" - "meta-model" - "modeling language" - "modeling" - "language modeling" - "programming" - "history" - "Meta-Environment" - "parsing" - "meta-objects" - "grammar" researchr: "https://researchr.org/publication/DeGouw2010" cites: 0 citedby: 0 booktitle: "12th Workshop on Formal Techniques for Java-like Programs" kind: "inproceedings" key: "DeGouw2010" - title: "Towards multilingual programming environments" author: - name: "Tijs van der Storm" link: "http://homepages.cwi.nl/~storm/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2015" doi: "http://dx.doi.org/10.1016/j.scico.2013.11.041" links: doi: "http://dx.doi.org/10.1016/j.scico.2013.11.041" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/StormV15" researchr: "https://researchr.org/publication/StormV15" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "97" pages: "143-149" kind: "article" key: "StormV15" - title: "Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs" author: - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2005" doi: "http://dx.doi.org/10.1007/11751113_8" abstract: "Meta programming can be facilitated by the ability to represent program fragments in concrete syntax instead of abstract syntax. The resulting meta programs are more self-documenting. One caveat in concrete meta programming is the syntactic separation between the meta language and the object language. To solve this problem, many meta programming systems use quoting and anti-quoting to indicate precisely where level switches occur. These \"syntactic hedges\" can obfuscate the concrete program fragments. This paper describes an algorithm for inferring quotes, such that the meta programmer no longer needs to explicitly indicate transitions between the meta and object languages. " links: doi: "http://dx.doi.org/10.1007/11751113_8" tags: - "programming languages" - "object-oriented programming" - "concrete object syntax" - "meta programming" - "SDF" - "meta-model" - "abstract syntax" - "type system" - "programming" - "subject-oriented programming" - "metaprogramming" - "Meta-Environment" - "quotation" - "ASF+SDF" - "feature-oriented programming" - "concrete syntax" - "meta-objects" researchr: "https://researchr.org/publication/Vinju05" cites: 0 citedby: 0 pages: "97-112" booktitle: "Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers" editor: - name: "Nicolas Guelfi" link: "https://researchr.org/alias/nicolas-guelfi" - name: "Anthony Savidis" link: "https://researchr.org/alias/anthony-savidis" volume: "3943" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-34063-7" kind: "inproceedings" key: "Vinju05" - title: "Program Analysis Scenarios in Rascal" author: - name: "Mark Hills" link: "http://homepages.cwi.nl/~hills" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-34005-5_2" links: doi: "http://dx.doi.org/10.1007/978-3-642-34005-5_2" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/HillsKV12" researchr: "https://researchr.org/publication/HillsKV12-0" cites: 0 citedby: 0 pages: "10-30" booktitle: "Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers" editor: - name: "Franciso Durán" link: "https://researchr.org/alias/franciso-dur%C3%A1n" volume: "7571" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-34004-8" kind: "inproceedings" key: "HillsKV12-0" - title: "Preface" author: - name: "Torbjörn Ekman" link: "https://researchr.org/alias/torbj%C3%B6rn-ekman" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2010" doi: "http://dx.doi.org/10.1016/j.entcs.2010.08.027" links: doi: "http://dx.doi.org/10.1016/j.entcs.2010.08.027" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/EkmanV10" researchr: "https://researchr.org/publication/EkmanV10" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "253" number: "7" pages: "1-2" kind: "article" key: "EkmanV10" - title: "Proceedings of the Eight Workshop on Language Descriptions, Tools, and Applications" year: "2009" month: "oct" researchr: "https://researchr.org/publication/ldta%3A2008" cites: 0 citedby: 0 booktitle: "Proceedings of the Eight Workshop on Language Descriptions, Tools, and Applications" conference: "LDTA" editor: - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Adrian Johnstone" link: "http://www.cs.rhul.ac.uk/~adrian/" volume: "238" number: "5" series: "Electronic Notes in Theoretical Computer Science " publisher: "Elsevier" kind: "proceedings" key: "ldta:2008" - title: "Proceedings of The Ninth Workshop on Language Descriptions, Tools, and Applications (LDTA 2009)" year: "2010" researchr: "https://researchr.org/publication/ldta%3A2009" cites: 0 citedby: 0 booktitle: "Proceedings of The Ninth Workshop on Language Descriptions, Tools, and Applications (LDTA 2009)" conference: "LDTA" editor: - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Torbjörn Ekman" link: "http://progtools.comlab.ox.ac.uk/members/torbjorn" volume: "253" number: "7" series: "Electronic Notes in Theoretical Computer Science" publisher: "Elsevier" kind: "proceedings" key: "ldta:2009" - title: "Proceedings of the Tenth IEEE International Working Conference on Source Code Analysis and Manipulation 2010" year: "2010" tags: - "points-to analysis" - "analysis" - "source-to-source" - "peer-to-peer" - "open-source" researchr: "https://researchr.org/publication/scam%3A2010" cites: 0 citedby: 0 booktitle: "Proceedings of the Tenth IEEE International Working Conference on Source Code Analysis and Manipulation 2010" conference: "SCAM" editor: - name: "Cristina Marinescu" link: "http://bigfoot.cs.upt.ro/~cristina/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" kind: "proceedings" key: "scam:2010" - title: "Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-319-11245-9" links: doi: "http://dx.doi.org/10.1007/978-3-319-11245-9" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/2014" researchr: "https://researchr.org/publication/sle-2014" cites: 0 citedby: 0 booktitle: "Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings" conference: "SLE" editor: - name: "Benoît Combemale" link: "https://researchr.org/alias/beno%C3%AEt-combemale" - name: "David J. Pearce" link: "https://researchr.org/alias/david-j.-pearce" - name: "Olivier Barais" link: "https://researchr.org/alias/olivier-barais" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" volume: "8706" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-11244-2" kind: "proceedings" key: "sle-2014"