publications: - title: "Foreword" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Didier Parigot" link: "https://researchr.org/alias/didier-parigot" year: "2001" doi: "http://www.elsevier.com/gej-ng/31/29/23/73/27/show/Products/notes/index.htt#001" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/73/27/show/Products/notes/index.htt#001" researchr: "https://researchr.org/publication/BrandP01" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "44" number: "2" pages: "232-233" kind: "article" key: "BrandP01" - 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: "PREGMATIC - a generator for incremental programming environments" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "1992" links: dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0069965" tags: - "meta programming" - "meta-model" - "programming" - "Meta-Environment" - "incremental" researchr: "https://researchr.org/publication/books-daglib-0069965" cites: 0 citedby: 0 school: "University Nijmegen" kind: "phdthesis" key: "books-daglib-0069965" - title: "Efficient annotated terms" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "H. A. de Jong" link: "https://researchr.org/alias/h.-a.-de-jong" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Pieter A. Olivier" link: "https://researchr.org/alias/pieter-a.-olivier" year: "2000" doi: "https://doi.org/10.1002/(SICI)1097-024X(200003)30:3\\%3C259::AID-SPE298\\%3E3.0.CO;2-Y" abstract: "How do distributed applications exchange (tree-like) data structures? To this end, we introduce the abstract data type of Annotated Terms (ATerms) and discuss their design, implementation and application. A comprehensive procedural interface enables creation and manipulation of ATerms in C. A Java version is also supported. The ATerm implementation is based on maximal subterm sharing and automatic garbage collection. A binary exchange format for the concise representation of ATerms (sharing preserved) allows the fast exchange of ATerms between applications. In a typical application---parse trees which contain quite some redundant information---less than 2 bytes are needed to represent a node in memory, and less than 2 bits are needed to represent it in binary format. It is shown that the implementation of ATerms scales up to the manipulation of ATerms in the giga-byte range." links: doi: "https://doi.org/10.1002/(SICI)1097-024X(200003)30:3\\%3C259::AID-SPE298\\%3E3.0.CO;2-Y" tags: - "rule-based" - "Java" - "parsing" researchr: "https://researchr.org/publication/BrandJKO00" cites: 0 citedby: 1 journal: "Software: Practice and Experience" volume: "30" number: "3" pages: "259-291" kind: "article" key: "BrandJKO00" - title: "Guest editor s introduction: Experimental Software and Toolkits (EST)" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2007" doi: "http://dx.doi.org/10.1016/j.scico.2007.10.001" links: doi: "http://dx.doi.org/10.1016/j.scico.2007.10.001" researchr: "https://researchr.org/publication/Brand07%3A0" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "69" number: "1-3" pages: "1-2" kind: "article" key: "Brand07:0" - 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: "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: "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: "An Action Environment" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Jørgen Iversen" link: "https://researchr.org/alias/j%C3%B8rgen-iversen" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2006" doi: "http://dx.doi.org/10.1016/j.scico.2006.04.005" links: doi: "http://dx.doi.org/10.1016/j.scico.2006.04.005" tags: - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/BrandIM06" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "61" number: "3" pages: "245-264" kind: "article" key: "BrandIM06" - title: "Control Flow Normalization for COBOL/CICS Legacy System" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Alex Sellink" link: "https://researchr.org/alias/alex-sellink" - name: "Chris Verhoef" link: "http://www.cs.vu.nl/~x/" year: "1998" doi: "http://csdl.computer.org/comp/proceedings/csmr/1998/8421/00/84210011abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/csmr/1998/8421/00/84210011abs.htm" tags: - "control systems" - "data-flow" - "Cobol" researchr: "https://researchr.org/publication/BrandSV98" cites: 0 citedby: 0 pages: "11-20" booktitle: "2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR 98), 8-11 March 1998, Florence, Italy" publisher: "IEEE Computer Society" isbn: "0-8186-8421-6" kind: "inproceedings" key: "BrandSV98" - title: "Generation of Formatters for Context-Free Languages" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Eelco Visser" link: "http://eelcovisser.org" year: "1996" doi: "https://doi.org/10.1145/226155.226156" abstract: "Good documentation is important for the production of reusable and maintainable software. For the production of accurate documentation it is necessary that the original program text is not copied manually to obtain a typeset version. Apart from being tedious, this will invariably introduce errors. The production of tools that support the production of legible and accurate documentation is a software engineering challenge in itself. We present an algebraic approach to the generation of tools that produce typographically effective presentations of computer programs. A specification of a formatter is generated from the context-free grammar of a (programming) language. These generated formatters translate abstract syntax trees of programs into box expressions. Box expressions are translated by language-independent interpreters of the box language into ASCII or TEX. The formatting rules that are generated can easily be tuned in order to get the desired formatting of programs. We demonstrate this by means of real-life applications. Furthermore, we give a practical solution for the problem of formatting comments, which occur in the original text. The formatter generation approach proposed in this article can be used to generate formatting programs for arbitrary programming environments. Our formatter generation approach can be used to automatically generate formatters that have to be programmed explicitly in other systems. " links: doi: "https://doi.org/10.1145/226155.226156" tags: - "programming languages" - "rule-based" - "translation" - "meta programming" - "SDF" - "interpreter" - "abstract syntax" - "language engineering" - "software language engineering" - "reuse" - "source-to-source" - "software engineering" - "rules" - "algebraic specification" - "source code formatting" - "code generation" - "pretty-printing" - " algebra" - "programming" - "context-aware" - "Meta-Environment" - "systematic-approach" - "ASF+SDF" - "open-source" - "grammar" researchr: "https://researchr.org/publication/BrandV96" cites: 46 citedby: 12 journal: "ACM Transactions on Software Engineering Methodology" volume: "5" number: "1" pages: "1-41" kind: "article" key: "BrandV96" - title: "Compiling Language Definitions: The ASF%2BSDF Compiler" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "J. Heering" link: "https://researchr.org/alias/j.-heering" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "P. A. Olivier" link: "https://researchr.org/alias/p.-a.-olivier" year: "1999" tags: - "SDF" - "compiler" - "ASF+SDF" researchr: "https://researchr.org/publication/Brand99compilinglanguage" cites: 0 citedby: 0 kind: "misc" key: "Brand99compilinglanguage" - title: "Generation of components for software renovation factories from context-free grammars" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "M. P. A. Sellink" link: "https://researchr.org/alias/m.-p.-a.-sellink" - name: "Chris Verhoef" link: "http://www.cs.vu.nl/~x/" year: "2000" tags: - "software components" - "software component" - "context-aware" - "grammar" researchr: "https://researchr.org/publication/BrandSV00" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "36" number: "2-3" pages: "209-266" kind: "article" key: "BrandSV00" - title: "Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Serguei A. Roubtsov" link: "https://researchr.org/alias/serguei-a.-roubtsov" - name: "Ella E. Roubtsova" link: "http://www.open.ou.nl/elr/" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2009" doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2009.27" links: doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2009.27" tags: - "reverse engineering" - "sequence diagrams" researchr: "https://researchr.org/publication/SerebrenikRRB99a" cites: 0 citedby: 0 pages: "269-273" booktitle: "16th Working Conference on Reverse Engineering, WCRE 2009, 13-16 October 2009, Lille, France" editor: - name: "Andy Zaidman" link: "http://www.st.ewi.tudelft.nl/~zaidman" - name: "Giuliano Antoniol" link: "https://researchr.org/alias/giuliano-antoniol" - name: "stéphane-ducasse" link: "https://researchr.org/alias/st%C3%A3%C2%A9phane-ducasse" publisher: "IEEE Computer Society" isbn: "978-0-7695-3867-9" kind: "inproceedings" key: "SerebrenikRRB99a" - title: "From Box to TeX: An algebraic approach to the generation of documentation tools" author: - name: "Eelco Visser" link: "http://eelcovisser.org" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "1994" month: "July" abstract: "We define a translation from an intermediate box language for pretty printing to TeX. This translation can be used as a back-end for pretty printers in documentation tools for programming languages. The translation is formulated in an executable algebraic specification formalism. An important aspect of the translation is the transformation of boxes according to a set of equations. These equations preserve the text formatting semantics of boxes which is also defined algebraically. New in this approach is that algebraic transformations of box terms are used to circumvent the limitations of the typesetter. The TeX generator, which translates the box language to TeX code, is a component of documentation tools generated for the programming environments developed with the ASF+SDF meta-environment, but can also be used as a separate tool. As a case study, the construction of a typesetter for the process specification formalism PSF is shown." links: "url": "ftp://ftp.wins.uva.nl/pub/programming-research/reports/1994/P9420.ps.Z" tags: - "programming languages" - "model-to-model transformation" - "semantics" - "translation" - "meta programming" - "case study" - "SDF" - "meta-model" - "transformation language" - "process algebra" - "algebraic specification" - "code generation" - "model transformation" - " algebra" - "programming" - "Meta-Environment" - "systematic-approach" - "ASF+SDF" - "meta-objects" - "transformation" - "program transformation" researchr: "https://researchr.org/publication/BrandV94" cites: 0 citedby: 0 institution: "Programming Research Group, University of Amsterdam" number: "P9420" kind: "techreport" key: "BrandV94" - title: "Current Parsing Techniques in Software Renovation Considered Harmful" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "M. P. A. Sellink" link: "https://researchr.org/alias/m.-p.-a.-sellink" - name: "Chris Verhoef" link: "http://www.cs.vu.nl/~x/" year: "1998" doi: "http://dlib2.computer.org/conferen/iwpc/8560/pdf/85600108.pdf" links: doi: "http://dlib2.computer.org/conferen/iwpc/8560/pdf/85600108.pdf" tags: - "parsing" researchr: "https://researchr.org/publication/BrandSV98%3A0" cites: 0 citedby: 0 pages: "108" booktitle: "6th International Workshop on Program Comprehension (IWPC 98), June 24-26, 1998, Ischia, Italy" publisher: "IEEE Computer Society" isbn: "0-8186-8560-3" kind: "inproceedings" key: "BrandSV98:0" - 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: "SQuAVisiT: A Flexible Tool for Visual Software Analytics" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Serguei A. Roubtsov" link: "https://researchr.org/alias/serguei-a.-roubtsov" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2009" doi: "http://dx.doi.org/10.1109/CSMR.2009.19" links: doi: "http://dx.doi.org/10.1109/CSMR.2009.19" researchr: "https://researchr.org/publication/BrandRS09" cites: 0 citedby: 0 pages: "331-332" booktitle: "13th European Conference on Software Maintenance and Reengineering, CSMR 2009, Architecture-Centric Maintenance of Large-SCale Software Systems, Kaiserslautern, Germany, 24-27 March 2009" editor: - name: "Andreas Winter" link: "http://www.uni-koblenz.de/~winter/" - name: "Rudolf Ferenc" link: "https://researchr.org/alias/rudolf-ferenc" - name: "Jens Knodel" link: "https://researchr.org/alias/jens-knodel" publisher: "IEEE" kind: "inproceedings" key: "BrandRS09" - title: "Model Transformation Analysis: Staying Ahead of the Maintenance Nightmare" author: - name: "Marcel van Amstel" link: "http://www.win.tue.nl/~mamstel/index.html" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2011" abstract: "Model-driven engineering (MDE) is a software engineering discipline that is gaining popularity, both in academia and industry. One of the integral concepts of MDE is model transformation. The prominent role of model transformations in MDE requires them to be treated in a similar way as traditional software artifacts. Numerous analysis techniques supporting the maintenance process exist for traditional software artifacts. However, few techniques tailored towards analyzing model transformations currently exist. We present in this paper three complementary techniques for the analysis of model transformations. These techniques are mainly focused on increasing the understanding of model transformations. Two of the proposed techniques have already been employed for the analysis of different kinds of software artifacts, viz. metrics, and structure and trace analysis. The third analysis technique, i.e., metamodel coverage analysis is specific for model transformations and does therefore not exist for different kinds of software artifacts." tags: - "model-to-model transformation" - "transformation engineering" - "meta-model" - "modeling" - "points-to analysis" - "analysis" - "source-to-source" - "maintenance" - "software engineering" - "model-driven engineering" - "object-role modeling" - "model transformation" - "Meta-Environment" - "MDE" - "process modeling" - "coverage" - "transformation" researchr: "https://researchr.org/publication/Amstel-ICMT-2011" cites: 0 citedby: 0 pages: "108-122" booktitle: "Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings" editor: - name: "Jordi Cabot" link: "http://jordicabot.com/" - name: "Eelco Visser" link: "http://eelcovisser.org" volume: "6707" series: "Lecture Notes in Computer Science" publisher: "Springer" kind: "inproceedings" key: "Amstel-ICMT-2011" - title: "Type Checking Evolving Languages with MSOS" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "A. P. van der Meer" link: "https://researchr.org/alias/a.-p.-van-der-meer" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-04164-8_11" links: doi: "http://dx.doi.org/10.1007/978-3-642-04164-8_11" tags: - "type checking" researchr: "https://researchr.org/publication/BrandMS09" cites: 0 citedby: 0 pages: "207-226" booktitle: "Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday" editor: - name: "Jens Palsberg" link: "https://researchr.org/alias/jens-palsberg" volume: "5700" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-04163-1" kind: "inproceedings" key: "BrandMS09" - title: "Core Technologies for System Renovation" 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: "Chris Verhoef" link: "http://www.cs.vu.nl/~x/" year: "1996" researchr: "https://researchr.org/publication/BrandKV96" cites: 0 citedby: 0 pages: "235-254" booktitle: "SOFSEM 96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings" editor: - name: "Keith G. Jeffery" link: "https://researchr.org/alias/keith-g.-jeffery" - name: "Jaroslav Král" link: "https://researchr.org/alias/jaroslav-kr%C3%A1l" - name: "Miroslav Bartosek" link: "https://researchr.org/alias/miroslav-bartosek" volume: "1175" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-61994-1" kind: "inproceedings" key: "BrandKV96" - title: "The Third Rewrite Engines Competition" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Manuel Roldán" link: "https://researchr.org/alias/manuel-rold%C3%A1n" - name: "Jean-Christophe Bach" link: "http://www.loria.fr/~bachjeje" - name: "Emilie Balland" link: "http://www.loria.fr/~balland/" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "James R. Cordy" link: "http://research.cs.queensu.ca/~cordy/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Luc Engelen" link: "https://researchr.org/alias/luc-engelen" - name: "Maartje de Jonge" link: "https://researchr.org/profile/maartjedejonge/publications" - name: "Karl Trygve Kalleberg" link: "http://www.ii.uib.no/~karltk/" - name: "Lennart C. L. Kats" link: "http://www.lclnet.nl/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Eelco Visser" link: "http://eelcovisser.org" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_16" abstract: "This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on Rewriting Logic and its Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT, Tom, and TXL participated in it." links: doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_16" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/DuranRBBBCEEJK10" tags: - "graph-rewriting" - "C++" - "rewriting" researchr: "https://researchr.org/publication/DuranRBBBCEEJK10" cites: 0 citedby: 0 pages: "243-261" booktitle: "Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers" editor: - name: "Peter Csaba Ölveczky" link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky" volume: "6381" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-16309-8" kind: "inproceedings" key: "DuranRBBBCEEJK10" - title: "ATerms for manipulation and exchange of structured data: It's all about sharing" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" year: "2007" doi: "http://dx.doi.org/10.1016/j.infsof.2006.08.009" links: doi: "http://dx.doi.org/10.1016/j.infsof.2006.08.009" tags: - "data-flow" researchr: "https://researchr.org/publication/BrandK07" cites: 1 citedby: 0 journal: "Information \\& Software Technology" volume: "49" number: "1" pages: "55-64" kind: "article" key: "BrandK07" - 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: "Dn-based architecture assessment of Java Open Source software systems" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Serguei A. Roubtsov" link: "https://researchr.org/alias/serguei-a.-roubtsov" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2009" doi: "http://dx.doi.org/10.1109/ICPC.2009.5090043" links: doi: "http://dx.doi.org/10.1109/ICPC.2009.5090043" tags: - "rule-based" - "Java" - "software architecture" - "architecture" - "source-to-source" - "open-source" researchr: "https://researchr.org/publication/SerebrenikRB09" cites: 0 citedby: 0 pages: "198-207" booktitle: "The 17th IEEE International Conference on Program Comprehension, ICPC 2009, Vancouver, British Columbia, Canada, May 17-19, 2009" publisher: "IEEE Computer Society" kind: "inproceedings" key: "SerebrenikRB09" - title: "Model-Driven Engineering Meets Generic Language Technology" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-642-00434-6_2" links: doi: "http://dx.doi.org/10.1007/978-3-642-00434-6_2" tags: - "meta-model" - "modeling language" - "language engineering" - "language modeling" - "model-driven engineering" - "Meta-Environment" researchr: "https://researchr.org/publication/Brand08" cites: 0 citedby: 0 pages: "8-15" booktitle: "Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers" editor: - name: "Dragan Gasevic" link: "http://www.sfu.ca/~dgasevic/" - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" volume: "5452" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-00433-9" kind: "inproceedings" key: "Brand08" - title: "Guest editor s introduction: Special issue on Annotated Terms (ATerms)" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2004" doi: "http://dx.doi.org/10.1016/j.jlap.2003.12.004" links: doi: "http://dx.doi.org/10.1016/j.jlap.2003.12.004" researchr: "https://researchr.org/publication/Brand04" cites: 0 citedby: 0 journal: "Journal of Logic and Algebraic Programming" volume: "59" number: "1-2" pages: "1-4" kind: "article" key: "Brand04" - title: "Rewriting Logic Systems" author: - name: "Grit Denker" link: "https://researchr.org/alias/grit-denker" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" year: "2007" doi: "http://dx.doi.org/10.1016/j.entcs.2007.06.018" links: doi: "http://dx.doi.org/10.1016/j.entcs.2007.06.018" tags: - "graph-rewriting" - "logic" - "rewriting logic" - "rewriting" researchr: "https://researchr.org/publication/DenkerTRBES07" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "176" number: "4" pages: "233-247" kind: "article" key: "DenkerTRBES07" - title: "Repleo: a syntax-safe template engine" author: - name: "Jeroen Arnoldus" link: "http://www.repleo.nl/" - name: "Jeanot Bijpost" link: "https://researchr.org/alias/jeanot-bijpost" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2007" doi: "http://doi.acm.org/10.1145/1289971.1289977" abstract: "Templates are a very common solution to generate code. They are used for different tasks like rendering webpages, creating Java Beans and so on. Most template systems have no notion of the object language and just generate text. The drawback of this approach is the possibility to generate syntactical incorrect code. This can lead to all kinds of annoying errors. In this paper we present an approach for a syntax safe template engine. Syntax safety guarantees that the generated code can be correctly parsed. To ensure this we use the object language grammar to evaluate the template." links: doi: "http://doi.acm.org/10.1145/1289971.1289977" tags: - "Java" - "template engine" - "Meta-Environment" - "parsing" - "systematic-approach" - "meta-objects" - "grammar" researchr: "https://researchr.org/publication/ArnoldusBB07" cites: 0 citedby: 1 pages: "25-32" booktitle: "Generative Programming and Component Engineering, 6th International Conference, GPCE 2007" editor: - name: "Charles Consel" link: "https://researchr.org/alias/charles-consel" - name: "Julia L. Lawall" link: "http://www.diku.dk/hjemmesider/ansatte/julia/" address: "Salzburg, Austria" publisher: "ACM" isbn: "978-1-59593-855-8" kind: "inproceedings" key: "ArnoldusBB07" - title: "Re-engineering Needs Generic Programming Language Technology" 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: "Chris Verhoef" link: "http://www.cs.vu.nl/~x/" year: "1997" tags: - "programming languages" - "generic programming" - "language engineering" - "programming" researchr: "https://researchr.org/publication/BrandKV97" cites: 0 citedby: 0 journal: "SIGPLAN Notices" volume: "32" number: "2" pages: "54-61" kind: "article" key: "BrandKV97" - title: "The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration" 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: "Christophe Ringeissen" link: "http://www.loria.fr/~ringeiss/" year: "2002" doi: "http://www.elsevier.com/gej-ng/31/29/23/117/52/show/Products/notes/index.htt#006" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/117/52/show/Products/notes/index.htt#006" tags: - "rule-based" - "SDF" - "graph-rewriting" - "logic" - "Meta-Environment" - "rewriting logic" - "rewriting" - "ASF+SDF" researchr: "https://researchr.org/publication/BrandMR02" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "65" number: "3" pages: "50-56" kind: "article" key: "BrandMR02" - 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: "The Asf+Sdf Meta-Environment Documentation Tools for Free!" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Eelco Visser" link: "http://eelcovisser.org" year: "1995" doi: "http://dx.doi.org/10.1007/3-540-59293-8_242" abstract: "(has no abstract)" links: doi: "http://dx.doi.org/10.1007/3-540-59293-8_242" tags: - "SDF" - "meta-model" - "documentation" - "software documentation" - "pretty-printing" - "Meta-Environment" - "ASF+SDF" - "meta-objects" researchr: "https://researchr.org/publication/BrandV95" cites: 0 citedby: 0 pages: "803-804" booktitle: "TAPSOFT 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings" editor: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Mogens Nielsen" link: "https://researchr.org/alias/mogens-nielsen" - name: "Michael I. Schwartzbach" link: "http://www.brics.dk/~mis/" volume: "915" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-59293-8" kind: "inproceedings" key: "BrandV95" - title: "ASF+SDF parsing tools applied to ELAN" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Christophe Ringeissen" link: "http://www.loria.fr/~ringeiss/" year: "2000" doi: "http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#009" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#009" tags: - "SDF" - "parsing" - "ASF+SDF" researchr: "https://researchr.org/publication/BrandR00" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "36" pages: "138-157" kind: "article" key: "BrandR00" - title: "Tool Building on the Shoulders of Others" author: - name: "Holger M. Kienle" link: "https://researchr.org/alias/holger-m.-kienle" - name: "Adrian Kuhn" link: "http://scg.unibe.ch/akuhn" - 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: "Roel Wuyts" link: "http://roelwuyts.be" year: "2009" doi: "http://dx.doi.org/10.1109/MS.2009.25" links: doi: "http://dx.doi.org/10.1109/MS.2009.25" researchr: "https://researchr.org/publication/KienleKMBW09" cites: 0 citedby: 0 journal: "IEEE Software" volume: "26" number: "1" pages: "22-23" kind: "article" key: "KienleKMBW09" - title: "Development of Parsing Tools for CASL Using Generic Language Technology" 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" year: "1999" tags: - "parsing" researchr: "https://researchr.org/publication/BrandS99" cites: 0 citedby: 0 pages: "89-105" booktitle: "Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT 99, Château de Bonas, France, September 15-18, 1999, Selected Papers" editor: - name: "Didier Bert" link: "https://researchr.org/alias/didier-bert" - name: "Christine Choppy" link: "https://researchr.org/alias/christine-choppy" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" volume: "1827" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67898-0" kind: "inproceedings" key: "BrandS99" - 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: "Applications of the Asf+SdfMeta-Environment" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2006" doi: "http://dx.doi.org/10.1007/11877028_9" links: doi: "http://dx.doi.org/10.1007/11877028_9" tags: - "SDF" - "meta-model" - "Meta-Environment" - "ASF+SDF" - "meta-objects" researchr: "https://researchr.org/publication/Brand06" cites: 0 citedby: 0 pages: "278-296" booktitle: "Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers" editor: - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" - name: "João Saraiva" link: "http://di.uminho.pt/~jas" - name: "Joost Visser" link: "http://www.di.uminho.pt/~joost.visser/" volume: "4143" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-45778-X" kind: "inproceedings" key: "Brand06" - 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: "CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code" author: - name: "E. Korshunova" link: "https://researchr.org/alias/e.-korshunova" - name: "Marija Petkovic" link: "https://researchr.org/alias/marija-petkovic" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Mohammad Reza Mousavi" link: "https://researchr.org/alias/mohammad-reza-mousavi" year: "2006" doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2006.21" links: doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2006.21" tags: - "reverse engineering" - "UML" - "source-to-source" - "C++" - "sequence diagrams" - "open-source" researchr: "https://researchr.org/publication/KorshunovaPBM06" cites: 0 citedby: 0 pages: "297-298" booktitle: "13th Working Conference on Reverse Engineering (WCRE 2006), 23-27 October 2006, Benevento, Italy" publisher: "IEEE Computer Society" isbn: "0-7695-2719-1" kind: "inproceedings" key: "KorshunovaPBM06" - 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: "Compilation and Memory Management for ASF+SDF" 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: "Pieter A. Olivier" link: "https://researchr.org/alias/pieter-a.-olivier" year: "1999" tags: - "SDF" - "memory management" - "ASF+SDF" researchr: "https://researchr.org/publication/BrandKO99" cites: 0 citedby: 0 pages: "198-213" booktitle: "Compiler Construction, 8th International Conference, CC 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings" editor: - name: "Stefan Jähnichen" link: "https://researchr.org/alias/stefan-j%C3%A4hnichen" volume: "1575" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-65717-7" kind: "inproceedings" key: "BrandKO99" - 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: "An Action Environment" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Jørgen Iversen" link: "https://researchr.org/alias/j%C3%B8rgen-iversen" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2004" doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.005" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.005" tags: - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/BrandIM04" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "110" pages: "149-168" kind: "article" key: "BrandIM04" - title: "Seventh European Conference on Software Maintenance and Reengineering (CSMR 2003)" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Gerardo Canfora" link: "https://researchr.org/alias/gerardo-canfora" - name: "Tibor Gyimóthy" link: "https://researchr.org/alias/tibor-gyim%C3%B3thy" year: "2004" doi: "http://dx.doi.org/10.1002/smr.294" links: doi: "http://dx.doi.org/10.1002/smr.294" tags: - "maintenance" researchr: "https://researchr.org/publication/BrandCG04" cites: 0 citedby: 0 journal: "Journal of Software Maintenance" volume: "16" number: "4-5" pages: "217-218" kind: "article" key: "BrandCG04" - title: "Formally specified type checkers for domain specific languages: experience report" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "A. P. van der Meer" link: "https://researchr.org/alias/a.-p.-van-der-meer" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Albert T. Hofkamp" link: "https://researchr.org/alias/albert-t.-hofkamp" year: "2010" doi: "http://doi.acm.org/10.1145/1868281.1868293" links: doi: "http://doi.acm.org/10.1145/1868281.1868293" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/BrandMSH10" tags: - "domain-specific language" researchr: "https://researchr.org/publication/BrandMSH10" cites: 0 citedby: 0 pages: "12" 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: "BrandMSH10" - title: "RULE2001 - Foreword" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Rakesh M. Verma" link: "https://researchr.org/alias/rakesh-m.-verma" year: "2001" doi: "http://www.elsevier.nl/locate/entcs/volume59.html" links: doi: "http://www.elsevier.nl/locate/entcs/volume59.html" researchr: "https://researchr.org/publication/BrandV01" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "59" number: "4" pages: "425-426" kind: "article" key: "BrandV01" - title: "Generation of Components for Software Renovation Factories from Context-Free Grammars" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "M. P. A. Sellink" link: "https://researchr.org/alias/m.-p.-a.-sellink" - name: "Chris Verhoef" link: "http://www.cs.vu.nl/~x/" year: "1997" doi: "http://computer.org/proceedings/wcre/8162/81620144abs.htm" links: doi: "http://computer.org/proceedings/wcre/8162/81620144abs.htm" tags: - "software components" - "software component" - "context-aware" - "grammar" researchr: "https://researchr.org/publication/BrandSV97" cites: 0 citedby: 0 pages: "144" booktitle: "WCRE" kind: "inproceedings" key: "BrandSV97" - title: "A language development environment for Eclipse" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "H. A. de Jong" link: "https://researchr.org/alias/h.-a.-de-jong" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "A. Taeke Kooiker" link: "https://researchr.org/alias/a.-taeke-kooiker" year: "2003" doi: "http://doi.acm.org/10.1145/965660.965672" links: doi: "http://doi.acm.org/10.1145/965660.965672" tags: - "Eclipse" - "meta-model" - "model-driven development" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/BrandJKK03" cites: 0 citedby: 0 pages: "55-59" booktitle: "Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, October 2003, Anaheim, CA, USA" editor: - name: "Michael G. Burke" link: "https://researchr.org/alias/michael-g.-burke" publisher: "ACM" kind: "inproceedings" key: "BrandJKK03" - title: "Industrial Applications of ASF+SDF" 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: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Steven Klusener" link: "http://www.cs.vu.nl/~steven/" - name: "Emma van der Meulen" link: "https://researchr.org/alias/emma-van-der-meulen" year: "1996" tags: - "SDF" - "ASF+SDF" researchr: "https://researchr.org/publication/BrandDKKM96" cites: 0 citedby: 0 pages: "9-18" booktitle: "Algebraic Methodology and Software Technology, 5th International Conference, AMAST 96, Munich, Germany, July 1-5, 1996, Proceedings" editor: - name: "Martin Wirsing" link: "https://researchr.org/alias/martin-wirsing" - name: "Maurice Nivat" link: "https://researchr.org/alias/maurice-nivat" volume: "1101" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-61463-X" kind: "inproceedings" key: "BrandDKKM96" - 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: "The Action Environment: -- Tool Demonstration --" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Jørgen Iversen" link: "https://researchr.org/alias/j%C3%B8rgen-iversen" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" year: "2004" doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.002" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.002" tags: - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/BrandIM04a" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "110" pages: "177-180" kind: "article" key: "BrandIM04a" - title: "Guest editor s introduction: Second issue of experimental software and toolkits (EST)" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2008" doi: "http://dx.doi.org/10.1016/j.scico.2008.04.002" links: doi: "http://dx.doi.org/10.1016/j.scico.2008.04.002" researchr: "https://researchr.org/publication/Brand08%3A0" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "72" number: "1-2" pages: "1-2" kind: "article" key: "Brand08:0" - title: "Home Page" author: - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" researchr: "https://researchr.org/publication/homepages-v-MarkvandenBrand" cites: 0 citedby: 0 howpublished: "http://homepages.cwi.nl/~markvdb/" kind: "misc" key: "homepages-v-MarkvandenBrand" - 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: "Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?" author: - name: "Marcel van Amstel" link: "http://www.win.tue.nl/~mamstel/index.html" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Z. Protic" link: "https://researchr.org/alias/z.-protic" - name: "Tom Verhoeff" link: "https://researchr.org/alias/tom-verhoeff" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-69927-9_5" links: doi: "http://dx.doi.org/10.1007/978-3-540-69927-9_5" tags: - "process algebra" - "UML" - " algebra" - "state machines" - "process modeling" researchr: "https://researchr.org/publication/AmstelBPV08" cites: 0 citedby: 0 pages: "61-75" booktitle: "Theory and Practice of Model Transformations, First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008, Proceedings" editor: - name: "Antonio Vallecillo" link: "http://www.lcc.uma.es/~av/" - name: "Jeffrey G. Gray" link: "http://www.gray-area.org/" - name: "Alfonso Pierantonio" link: "http://www.di.univaq.it/alfonso" volume: "5063" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-69926-2" kind: "inproceedings" key: "AmstelBPV08" - title: "Academic Software Development Tools and Techniques" author: - name: "Roel Wuyts" link: "http://roelwuyts.be" - name: "Holger M. Kienle" link: "https://researchr.org/alias/holger-m.-kienle" - 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: "Adrian Kuhn" link: "http://scg.unibe.ch/akuhn" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-642-02047-6_10" links: doi: "http://dx.doi.org/10.1007/978-3-642-02047-6_10" researchr: "https://researchr.org/publication/WuytsKMBK08" cites: 0 citedby: 0 pages: "87-103" booktitle: "Object-Oriented Technology. ECOOP 2008 Workshop Reader, ECOOP 2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports" editor: - name: "Patrick Eugster" link: "https://researchr.org/alias/patrick-eugster" volume: "5475" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-02046-9" kind: "inproceedings" key: "WuytsKMBK08" - title: "Foreword" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" year: "2002" doi: "http://www.elsevier.com/gej-ng/31/29/23/117/52/show/Products/notes/index.htt#001" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/117/52/show/Products/notes/index.htt#001" researchr: "https://researchr.org/publication/BrandL02" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "65" number: "3" pages: "144-145" kind: "article" key: "BrandL02" - title: "Extracting Mathematical Semantics from Documents" author: - name: "Jürgen Stuber" link: "https://researchr.org/alias/j%C3%BCrgen-stuber" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2901&spage=160" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2901&spage=160" tags: - "semantics" researchr: "https://researchr.org/publication/StuberB03" cites: 0 citedby: 0 pages: "160-173" booktitle: "Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings" editor: - name: "François Bry" link: "https://researchr.org/alias/fran%C3%A7ois-bry" - name: "Nicola Henze" link: "https://researchr.org/alias/nicola-henze" - name: "Jan Maluszynski" link: "https://researchr.org/alias/jan-maluszynski" volume: "2901" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-20582-9" kind: "inproceedings" key: "StuberB03" - title: "The Second Rewrite Engines Competition" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Manuel Roldán" link: "https://researchr.org/alias/manuel-rold%C3%A1n" - name: "Emilie Balland" link: "http://www.loria.fr/~balland/" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Karl Trygve Kalleberg" link: "http://www.ii.uib.no/~karltk/" - name: "Lennart C. L. Kats" link: "http://www.lclnet.nl/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Ruslan Shevchenko" link: "https://researchr.org/alias/ruslan-shevchenko" - name: "Eelco Visser" link: "http://eelcovisser.org" year: "2009" doi: "http://dx.doi.org/10.1016/j.entcs.2009.05.025" abstract: "The 2nd Rewrite Engines Competition (REC) was celebrated as part of the 7th Workshop on Rewriting Logic and its Applications (WRLA 2008). In this edition of the competition participated ve systems, namely ASF+SDF, Maude, Stratego/XT, Termware, and Tom. We explain here how the competition was organized and conducted, and present its main results and conclusions." links: doi: "http://dx.doi.org/10.1016/j.entcs.2009.05.025" tags: - "rewrite engine" - "SDF" - "term rewriting" - "graph-rewriting" - "C++" - "logic" - "rewriting logic" - "rewriting" - "rewriting strategies" - "ASF+SDF" - "Stratego" researchr: "https://researchr.org/publication/DuranRBBEKKMSV09" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "238" number: "3" pages: "281-291" kind: "article" key: "DuranRBBEKKMSV09" - title: "Term rewriting for sale" 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: "Chris Verhoef" link: "http://www.cs.vu.nl/~x/" year: "1998" doi: "http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#011" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#011" tags: - "term rewriting" - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/BrandKV98" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "15" pages: "218-241" kind: "article" key: "BrandKV98" - 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: "Using Metrics for Assessing the Quality of ASF+SDF Model Transformations" author: - name: "Marcel van Amstel" link: "http://www.win.tue.nl/~mamstel/index.html" - name: "Christian F. J. Lange" link: "https://researchr.org/alias/christian-f.-j.-lange" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-02408-5_17" links: doi: "http://dx.doi.org/10.1007/978-3-642-02408-5_17" tags: - "model-to-model transformation" - "SDF" - "meta-model" - "source-to-source" - "model transformation" - "Meta-Environment" - "ASF+SDF" - "transformation" researchr: "https://researchr.org/publication/AmstelLB09" cites: 0 citedby: 0 pages: "239-248" booktitle: "Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings" editor: - name: "Richard F. Paige" link: "http://www-users.cs.york.ac.uk/~paige/" volume: "5563" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-02407-8" kind: "inproceedings" key: "AmstelLB09" - title: "Compiling Language Definitions: The ASF+SDF Compiler" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Jan Heering" link: "http://homepages.cwi.nl/~jan/" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Pieter A. Olivier" link: "https://researchr.org/alias/pieter-a.-olivier" year: "2000" doi: "http://arxiv.org/abs/cs.PL/0007008" note: "informal publication" links: doi: "http://arxiv.org/abs/cs.PL/0007008" tags: - "SDF" - "compiler" - "ASF+SDF" researchr: "https://researchr.org/publication/cs-PL-0007008" cites: 0 citedby: 0 journal: "CoRR" volume: "cs.PL/0007008" kind: "article" key: "cs-PL-0007008" - 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: "Compiling language definitions: the ASF+SDF compiler" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Jan Heering" link: "http://homepages.cwi.nl/~jan/" - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Pieter A. Olivier" link: "https://researchr.org/alias/pieter-a.-olivier" year: "2002" doi: "http://doi.acm.org/10.1145/567097.567099" links: doi: "http://doi.acm.org/10.1145/567097.567099" tags: - "SDF" - "compiler" - "ASF+SDF" researchr: "https://researchr.org/publication/BrandHKO02" cites: 1 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "24" number: "4" pages: "334-368" kind: "article" key: "BrandHKO02" - title: "ASF+SDF 1995. A Workshop on Generating Tools from Algebraic Specifications" year: "1995" tags: - "SDF" - "algebraic specification" - " algebra" - "ASF+SDF" researchr: "https://researchr.org/publication/asf-sdf%3A1995" cites: 0 citedby: 0 booktitle: "ASF+SDF 1995. A Workshop on Generating Tools from Algebraic Specifications" conference: "ASF+SDF" editor: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Vania Vieira Estrela" link: "http://academic.research.microsoft.com/Author/3361386" publisher: "Technical Report P9504, Programming Research Group, University of Amsterdam" kind: "proceedings" key: "asf-sdf:1995" - title: "Software Language Engineering, Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-12107-4" links: doi: "http://dx.doi.org/10.1007/978-3-642-12107-4" tags: - "language engineering" - "software language engineering" - "software engineering" researchr: "https://researchr.org/publication/sle-2009" cites: 0 citedby: 0 booktitle: "Software Language Engineering, Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers" conference: "SLE" editor: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Dragan Gasevic" link: "http://www.sfu.ca/~dgasevic/" - name: "Jeffrey G. Gray" link: "http://www.gray-area.org/" volume: "5969" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-12106-7" kind: "proceedings" key: "sle-2009" - title: "Software Language Engineering, Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-12107-4" links: doi: "http://dx.doi.org/10.1007/978-3-642-12107-4" tags: - "language engineering" - "software language engineering" - "software engineering" researchr: "https://researchr.org/publication/sle%3A2009" cites: 0 citedby: 0 booktitle: "Software Language Engineering, Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers" conference: "SLE" editor: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Dragan Gasevic" link: "http://www.sfu.ca/~dgasevic/" - name: "Jeffrey G. Gray" link: "http://www.gray-area.org/" series: "Lecture Notes in Computer Science" publisher: "Springer" kind: "proceedings" key: "sle:2009" - title: "Software Language Engineering, Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers" year: "2010" tags: - "language engineering" - "software language engineering" - "software engineering" researchr: "https://researchr.org/publication/sle-2010" cites: 0 citedby: 0 booktitle: "Software Language Engineering, Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers" conference: "SLE" editor: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Brian Malloy" link: "https://researchr.org/alias/brian-malloy" - name: "Steffen Staab" link: "https://researchr.org/alias/steffen-staab" series: "Lecture Notes in Computer Science" publisher: "Springer" kind: "proceedings" key: "sle-2010"