publications: - title: "Language Convergence Infrastructure" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2010" month: "November" abstract: "The process of grammar convergence involves grammar extraction and transformation for structural equivalence and contains a range of technical challenges. These need to be addressed in order for the method to deliver useful results. The paper describes a DSL and the infrastructure behind it that automates the convergence process, hides negligible back-end details, aids development/debugging and enables application of grammar convergence technology to large scale projects. The necessity of having a strong framework is explained by listing case studies. Domain elements such as extractors and transformation operators are described to illustrate the issues that were successfully addressed." links: "pdf": "http://grammarware.net/text/2010/lci.pdf" tags: - "application framework" - "case study" - "transformation language" - "grammar convergence" - "debugging" - "DSL" - "higher-order transformations" - "transformation" - "grammar" - "domain-specific language" researchr: "https://researchr.org/publication/LCI2010" cites: 0 citedby: 0 booktitle: "Post-proceedings of the 3rd International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009)" volume: "6491" series: "LNCS" publisher: "Springer-Verlag Berlin Heidelberg" kind: "inproceedings" key: "LCI2010" - title: "Open and Original Problems in Software Language Engineering 2015 Workshop Report" author: - name: "Anya Helene Bagge" link: "https://researchr.org/alias/anya-helene-bagge" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2015" doi: "http://doi.acm.org/10.1145/2757308.2757313" links: doi: "http://doi.acm.org/10.1145/2757308.2757313" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sigsoft/BaggeZ15" researchr: "https://researchr.org/publication/BaggeZ15" cites: 0 citedby: 0 journal: "ACM SIGSOFT Software Engineering Notes" volume: "40" number: "3" pages: "32-37" kind: "article" key: "BaggeZ15" - title: "Megamodelling with NGA multimodels" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2017" doi: "https://doi.org/10.1145/3141842.3141843" links: doi: "https://doi.org/10.1145/3141842.3141843" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/Zaytsev17a" researchr: "https://researchr.org/publication/Zaytsev17a" cites: 0 citedby: 0 pages: "1-6" booktitle: "Proceedings of the 2nd ACM SIGPLAN International Workshop on Comprehension of Complex Systems, CoCoS 2017, Vancouver, BC, Canada, October 23, 2017" editor: - name: "Christoph Bockisch" link: "https://researchr.org/alias/christoph-bockisch" - name: "Michael L. Van de Vanter" link: "https://researchr.org/alias/michael-l.-van-de-vanter" publisher: "ACM" isbn: "978-1-4503-5521-6" kind: "inproceedings" key: "Zaytsev17a" - title: "Understanding Metalanguage Integration by Renarrating a Technical Space Megamodel" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2014" doi: "http://ceur-ws.org/Vol-1236/paper-10.pdf" links: doi: "http://ceur-ws.org/Vol-1236/paper-10.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/Zaytsev14" researchr: "https://researchr.org/publication/Zaytsev14-2" cites: 0 citedby: 0 pages: "69-77" booktitle: "Proceedings of the 2nd International Workshop on The Globalization of Modeling Languages co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, GEMOC@Models 2014, Valencia, - Spain, September 28, 2014" editor: - name: "Benoît Combemale" link: "https://researchr.org/alias/beno%C3%AEt-combemale" - name: "Julien DeAntoni" link: "https://researchr.org/alias/julien-deantoni" - name: "Robert B. France" link: "https://researchr.org/alias/robert-b.-france" volume: "1236" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "Zaytsev14-2" - title: "Modelling of Language Syntax and Semantics: The Case of the Assembler Compiler" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2020" doi: "https://doi.org/10.5381/jot.2020.19.2.a5" links: doi: "https://doi.org/10.5381/jot.2020.19.2.a5" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jot/Zaytsev20" researchr: "https://researchr.org/publication/Zaytsev20" cites: 0 citedby: 0 journal: "Journal of Object Technology" volume: "19" number: "2" kind: "article" key: "Zaytsev20" - title: "BNF was here: what have we done about the unnecessary diversity of notation for syntactic definitions" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2012" doi: "http://doi.acm.org/10.1145/2245276.2232090" links: doi: "http://doi.acm.org/10.1145/2245276.2232090" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sac/Zaytsev12" researchr: "https://researchr.org/publication/Zaytsev12" cites: 0 citedby: 0 pages: "1910-1915" booktitle: "Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012" editor: - name: "Sascha Ossowski" link: "https://researchr.org/alias/sascha-ossowski" - name: "Paola Lecca" link: "https://researchr.org/alias/paola-lecca" publisher: "ACM" isbn: "978-1-4503-0857-1" kind: "inproceedings" key: "Zaytsev12" - title: "A Language-Parametric Modular Framework for Mining Idiomatic Code Patterns" author: - name: "Dario Di Nucci" link: "https://researchr.org/alias/dario-di-nucci" - name: "Hoang-Son Pham" link: "https://researchr.org/alias/hoang-son-pham" - name: "Johan Fabry" link: "https://researchr.org/alias/johan-fabry" - name: "Coen De Roover" link: "https://researchr.org/alias/coen-de-roover" - name: "Kim Mens" link: "https://researchr.org/alias/kim-mens" - name: "Tim Molderez" link: "https://researchr.org/alias/tim-molderez" - name: "Siegfried Nijssen" link: "https://researchr.org/alias/siegfried-nijssen" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2019" doi: "http://ceur-ws.org/Vol-2510/sattose2019_paper_3.pdf" links: doi: "http://ceur-ws.org/Vol-2510/sattose2019_paper_3.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sattose/NucciPFRMMNZ19" researchr: "https://researchr.org/publication/NucciPFRMMNZ19" cites: 0 citedby: 0 booktitle: "Proceedings of the Seminar Series on Advanced Techniques & Tools for Software Evolution (SATTOSE 2019), Bolzano, Italy, July 8-10 Day, 2019" editor: - name: "Anne Etien" link: "https://researchr.org/alias/anne-etien" volume: "2510" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "NucciPFRMMNZ19" - title: "Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)" author: - name: "Anthony Cleve" link: "https://researchr.org/alias/anthony-cleve" - name: "Ekkart Kindler" link: "https://researchr.org/alias/ekkart-kindler" - name: "Perdita Stevens" link: "https://researchr.org/alias/perdita-stevens" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2018" doi: "https://doi.org/10.4230/DagRep.8.12.1" links: doi: "https://doi.org/10.4230/DagRep.8.12.1" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/dagstuhl-reports/CleveKSZ18" researchr: "https://researchr.org/publication/CleveKSZ18" cites: 0 citedby: 0 journal: "Dagstuhl Reports" volume: "8" number: "12" pages: "1-48" kind: "article" key: "CleveKSZ18" - title: "MediaWiki Grammar Recovery" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2011" month: "July" abstract: "The paper describes in detail the recovery effort of one of the official MediaWiki grammars. Over two hundred grammar transformation steps are reported and annotated, leading to delivery of a level 2 grammar, semi-automatically extracted from a community created semi-formal text using at least five different syntactic notations, several non-enforced naming conventions, multiple misspellings, obsolete parsing technology idiosyncrasies and other problems commonly encountered in grammars that were not engineered properly. Having a quality grammar will allow to test and validate it further, without alienating the community with a separately developed grammar." links: "pdf": "http://grammarware.net/text/2011/mediawiki.pdf" tags: - "testing" - "parsing" - "transformation" - "grammar" researchr: "https://researchr.org/publication/MediaWiki2011" cites: 0 citedby: 0 journal: "CoRR" volume: "abs/1107.4661" pages: "1-47" kind: "article" key: "MediaWiki2011" - title: "Language Standardization Needs Grammarware" author: - name: "Steven Klusener" link: "http://www.cs.vu.nl/~steven/" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2005" abstract: "The ISO programming language standards are valuable documents that describe the syntax and semantics of mainstream languages. New features are proposed after thorough reviews by the standardization committees, leading to change documents that describe which modifications have to be enforced in the language standard document in order to actually add a new feature to the language. Maintaining these documents, both the language standard itself and all the change documents, is a time and resource consuming effort and in the evolution of these documents inconsistencies may be introduced. In this note we propose to utilize grammarware, a collection of new methods and new technology which can be used to support the advancement of these language documents in a more structured way. Besides, we will discuss how other tooling (like browsable language definitions, parser generators, pretty-printers, code checkers, etc.) can be obtained from the language standard. The final objective is threefold: (1) to facilitate the standardization committees in their activities and to raise the quality of the language standard documents; (2) to extend the usability of language standards by providing various presentations of each standard (in a human readable document, in a browsable form, in a machine readable BNF, etc.); (3) to help tool builders (compiler vendors, IDE vendors, etc.) in generating their parsing front-end, and to provide technology for tool builders to specify differences between their dialects and the actual standard. " note: "Available via \\url{www.open-std.org/jtc1/sc22/open/n3977.pdf}" links: "open standard": "http://www.open-std.org/jtc1/sc22/open/n3977.pdf" tags: - "programming languages" - "object-oriented programming" - "semantics" - "syntax definition" - "language engineering" - "grammar engineering" - "reviewing" - "compiler" - "programming" - "language documentation" - "parsing" - "standardization" - "feature-oriented programming" - "grammar" researchr: "https://researchr.org/publication/Needs-Grammarware2005" cites: 0 citedby: 0 institution: "ISO/IEC" type: "JTC1/SC22 Document" number: "N3977" kind: "techreport" key: "Needs-Grammarware2005" - title: "OOPSLE 2020: Open and Original Problems in Software Language Engineering" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" - name: "Anya Helene Bagge" link: "https://researchr.org/alias/anya-helene-bagge" year: "2020" doi: "http://ceur-ws.org/Vol-2707/oopslepaper1.pdf" links: doi: "http://ceur-ws.org/Vol-2707/oopslepaper1.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/staf/ZaytsevB20" researchr: "https://researchr.org/publication/ZaytsevB20" cites: 0 citedby: 0 pages: "47-51" booktitle: "STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in Software Language Engineering co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2020), Bergen, Norway, June 22-26, 2020" editor: - name: "Loli Burgueño" link: "https://researchr.org/alias/loli-burgue%C3%B1o" - name: "Lars Michael Kristensen" link: "https://researchr.org/alias/lars-michael-kristensen" volume: "2707" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "ZaytsevB20" - title: "Two-Faced Data" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2015" doi: "http://ceur-ws.org/Vol-1657/paper4.pdf" links: doi: "http://ceur-ws.org/Vol-1657/paper4.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/staf/Zaytsev15" researchr: "https://researchr.org/publication/Zaytsev15-3" cites: 0 citedby: 0 pages: "16-26" booktitle: "Proceedings of the First Workshop on Patterns in Model Engineering, PAME 2015, co-located with the 3rd International Conference on Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 21, 2015" editor: - name: "Richard F. Paige" link: "https://researchr.org/alias/richard-f.-paige" - name: "Eugene Syriani" link: "https://researchr.org/alias/eugene-syriani" - name: "Steffen Zschaler" link: "https://researchr.org/alias/steffen-zschaler" - name: "Hüseyin Ergin" link: "https://researchr.org/alias/h%C3%BCseyin-ergin" volume: "1657" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "Zaytsev15-3" - title: "Renarrating linguistic architecture: a case study" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2012" doi: "http://doi.acm.org/10.1145/2508443.2508454" links: doi: "http://doi.acm.org/10.1145/2508443.2508454" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/Zaytsev12" researchr: "https://researchr.org/publication/Zaytsev12-2" cites: 0 citedby: 0 pages: "61-66" booktitle: "Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, MPM@MoDELS 2012, Innsbruck, Austria, October 1-5, 2012" editor: - name: "Cécile Hardebolle" link: "https://researchr.org/alias/c%C3%A9cile-hardebolle" - name: "Eugene Syriani" link: "http://www.iro.umontreal.ca/~syriani" - name: "Jonathan Sprinkle" link: "https://researchr.org/alias/jonathan-sprinkle" - name: "Tamás Mészáros" link: "https://researchr.org/alias/tam%C3%A1s-m%C3%A9sz%C3%A1ros" publisher: "ACM" isbn: "978-1-4503-1805-1" kind: "inproceedings" key: "Zaytsev12-2" - title: "Reverse Engineering Grammar Relationships" author: - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2010" doi: "http://pi.informatik.uni-siegen.de/stt/30_2/01_Fachgruppenberichte/WSR2010/01-laemmel-zaytsev.pdf" links: doi: "http://pi.informatik.uni-siegen.de/stt/30_2/01_Fachgruppenberichte/WSR2010/01-laemmel-zaytsev.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/stt/LammelZ10" researchr: "https://researchr.org/publication/LammelZ10" cites: 0 citedby: 0 journal: "Softwaretechnik-Trends" volume: "30" number: "2" kind: "article" key: "LammelZ10" - title: "Recovery, Convergence and Documentation of Languages" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2010" month: "October" links: "pdf": "http://grammarware.net/text/2010/zaytsev-thesis.pdf" tags: - "transformation engineering" - "grammar transformation" - "language engineering" - "transformation language" - "software language engineering" - "grammar engineering" - "grammar convergence" - "software engineering" - "grammar recovery" - "language documentation" - "transformation" - "grammar" researchr: "https://researchr.org/publication/Zaytsev-Thesis2010" cites: 0 citedby: 0 school: "Vrije Universiteit" address: "Amsterdam, The Netherlands" advisor: - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" - name: "Chris Verhoef" link: "http://www.cs.vu.nl/~x/" kind: "phdthesis" key: "Zaytsev-Thesis2010" - title: "Grammar Zoo: A corpus of experimental grammarware" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2015" doi: "http://dx.doi.org/10.1016/j.scico.2014.07.010" links: doi: "http://dx.doi.org/10.1016/j.scico.2014.07.010" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/Zaytsev15" researchr: "https://researchr.org/publication/Zaytsev15" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "98" pages: "28-51" kind: "article" key: "Zaytsev15" - title: "Open challenges in incremental coverage of legacy software languages" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2017" doi: "http://doi.acm.org/10.1145/3167105" links: doi: "http://doi.acm.org/10.1145/3167105" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/Zaytsev17" researchr: "https://researchr.org/publication/Zaytsev17-1" cites: 0 citedby: 0 pages: "1-6" booktitle: "Proceedings of the 3rd ACM SIGPLAN International Workshop on Programming Experience, PX/17.2, Vancouver, BC, Canada, October 23-27, 2017" editor: - name: "Luke Church" link: "https://researchr.org/alias/luke-church" - name: "Richard P. Gabriel" link: "https://researchr.org/alias/richard-p.-gabriel" - name: "Robert Hirschfeld" link: "https://researchr.org/alias/robert-hirschfeld" - name: "Hidehiko Masuhara" link: "https://researchr.org/alias/hidehiko-masuhara" publisher: "ACM" isbn: "978-1-4503-5522-3" kind: "inproceedings" key: "Zaytsev17-1" - title: "Correct C# Grammar too Sharp for ISO" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2005" month: "July" abstract: "A comparatively new language standard at the time of research, ECMA-334 or ISO/IEC 23270:2003, which defines C# programming language, was taken in order to extract a grammar from it and use that grammar for parsing C# code. Notwithstanding the fact that C# is a much more modern language than Cobol, grammar recovery steps have not been trivial." note: "Extended abstract" links: "pdf": "http://grammarware.net/text/2005/too-sharp.pdf" tags: - "programming languages" - "C++" - "C sharp" - "programming" - "Cobol" - "parsing" - "grammar" researchr: "https://researchr.org/publication/Too-Sharp2005" cites: 0 citedby: 0 pages: "154-155" booktitle: "Proceedings of the International Summer School on Generative and Transformational Techniques in Software Engineering, Part II, Participants Workshop" address: "Braga, Portugal" kind: "inproceedings" key: "Too-Sharp2005" - title: "Recovering Grammar Relationships for the Java Language Specification" author: - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2011" month: "March" doi: "10.1007/s11219-010-9116-5" abstract: "Grammar convergence is a method that helps in discovering relationships between different grammars of the same language or different language versions. The key element of the method is the operational, transformation-based representation of those relationships. Given input grammars for convergence, they are transformed until they are structurally equal. The transformations are composed from primitive operators; properties of these operators and the composed chains provide quantitative and qualitative insight into the relationships between the grammars at hand. We describe a refined method for grammar convergence, and we use it in a major study, where we recover the relationships between all the grammars that occur in the different versions of the Java Language Specification (JLS). The relationships are represented as grammar transformation chains that capture all accidental or intended differences between the JLS grammars. This method is mechanized and driven by nominal and structural differences between pairs of grammars that are subject to asymmetric, binary convergence steps. We present the underlying operator suite for grammar transformation in detail, and we illustrate the suite with many examples of transformations on the JLS grammars. We also describe the extraction effort, which was needed to make the JLS grammars amenable to automated processing. We include substantial metadata about the convergence process for the JLS so that the effort becomes reproducible and transparent. " links: "official": "http://userpages.uni-koblenz.de/~laemmel/jls/" "pdf": "http://grammarware.net/text/2011/jls-sqj.pdf" tags: - "rule-based" - "Java" - "transformation language" - "transformation" - "grammar" researchr: "https://researchr.org/publication/JLS-SQJ2011" cites: 0 citedby: 0 journal: "Software Quality Journal" volume: "19" number: "2" pages: "333-378" kind: "article" key: "JLS-SQJ2011" - title: "What Is the Future of Modeling?" author: - name: "Antonio Bucchiarone" link: "https://researchr.org/alias/antonio-bucchiarone" - name: "Federico Ciccozzi" link: "https://researchr.org/alias/federico-ciccozzi" - name: "Leen Lambers" link: "https://researchr.org/alias/leen-lambers" - name: "Alfonso Pierantonio" link: "https://researchr.org/alias/alfonso-pierantonio" - name: "Matthias Tichy" link: "https://researchr.org/alias/matthias-tichy" - name: "Massimo Tisi" link: "https://researchr.org/alias/massimo-tisi" - name: "Andreas Wortmann 0001" link: "https://researchr.org/alias/andreas-wortmann-0001" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2021" doi: "https://doi.org/10.1109/MS.2020.3041522" links: doi: "https://doi.org/10.1109/MS.2020.3041522" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/software/BucchiaroneCLPT21" researchr: "https://researchr.org/publication/BucchiaroneCLPT21" cites: 0 citedby: 0 journal: "IEEE Software" volume: "38" number: "2" pages: "119-127" kind: "article" key: "BucchiaroneCLPT21" - title: "Improving a Software Modernisation Process by Differencing Migration Logs" author: - name: "Céline Deknop" link: "https://researchr.org/alias/c%C3%A9line-deknop" - name: "Johan Fabry" link: "https://researchr.org/alias/johan-fabry" - name: "Kim Mens" link: "https://researchr.org/alias/kim-mens" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2020" doi: "https://doi.org/10.1007/978-3-030-64148-1_17" links: doi: "https://doi.org/10.1007/978-3-030-64148-1_17" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/profes/DeknopFMZ20" researchr: "https://researchr.org/publication/DeknopFMZ20" cites: 0 citedby: 0 pages: "270-286" booktitle: "Product-Focused Software Process Improvement - 21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020, Proceedings" editor: - name: "Maurizio Morisio" link: "https://researchr.org/alias/maurizio-morisio" - name: "Marco Torchiano" link: "https://researchr.org/alias/marco-torchiano" - name: "Andreas Jedlitschka" link: "https://researchr.org/alias/andreas-jedlitschka" volume: "12562" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-030-64148-1" kind: "inproceedings" key: "DeknopFMZ20" - title: "Software Language Identification with Natural Language Classifiers" author: - name: "Juriaan Kennedy van Dam" link: "https://researchr.org/alias/juriaan-kennedy-van-dam" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2016" doi: "http://doi.ieeecomputersociety.org/10.1109/SANER.2016.92" links: doi: "http://doi.ieeecomputersociety.org/10.1109/SANER.2016.92" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wcre/DamZ16" researchr: "https://researchr.org/publication/DamZ16" cites: 0 citedby: 0 pages: "624-628" 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: "DamZ16" - title: "Formal foundations for semi-parsing" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2014" doi: "http://dx.doi.org/10.1109/CSMR-WCRE.2014.6747184" links: doi: "http://dx.doi.org/10.1109/CSMR-WCRE.2014.6747184" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/csmr/Zaytsev14" researchr: "https://researchr.org/publication/Zaytsev14" cites: 0 citedby: 0 pages: "313-317" booktitle: "2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE 2014, Antwerp, Belgium, February 3-6, 2014" editor: - name: "Serge Demeyer" link: "https://researchr.org/alias/serge-demeyer" - name: "Dave Binkley" link: "https://researchr.org/alias/dave-binkley" - name: "Filippo Ricca" link: "https://researchr.org/alias/filippo-ricca" publisher: "IEEE" kind: "inproceedings" key: "Zaytsev14" - title: "Event-based parsing" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2019" doi: "https://doi.org/10.1145/3358503.3361275" links: doi: "https://doi.org/10.1145/3358503.3361275" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/Zaytsev19" researchr: "https://researchr.org/publication/Zaytsev19-0" cites: 0 citedby: 0 pages: "31-40" booktitle: "Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2019, Athens, Greece, October 21, 2019" editor: - name: "Guido Salvaneschi" link: "https://researchr.org/alias/guido-salvaneschi" - name: "Wolfgang De Meuter" link: "https://researchr.org/alias/wolfgang-de-meuter" - name: "Patrick Eugster" link: "https://researchr.org/alias/patrick-eugster" - name: "Francisco Sant'Anna" link: "https://researchr.org/alias/francisco-sant%27anna" - name: "Lukasz Ziarek" link: "https://researchr.org/alias/lukasz-ziarek" - name: "Tetsuo Kamina" link: "https://researchr.org/alias/tetsuo-kamina" - name: "Hidehiko Masuhara" link: "https://researchr.org/alias/hidehiko-masuhara" publisher: "ACM" isbn: "978-1-4503-6986-2" kind: "inproceedings" key: "Zaytsev19-0" - title: "Experimental Data for the A?B*A Pattern in CSS: Inputs and Outputs" author: - name: "Leonard Punt" link: "https://researchr.org/alias/leonard-punt" - name: "Sjoerd Visscher" link: "https://researchr.org/alias/sjoerd-visscher" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2016" doi: "http://doi.ieeecomputersociety.org/10.1109/ICSME.2016.91" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICSME.2016.91" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/PuntVZ16b" researchr: "https://researchr.org/publication/PuntVZ16b" cites: 0 citedby: 0 pages: "616" booktitle: "2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016, Raleigh, NC, USA, October 2-7, 2016" publisher: "IEEE Computer Society" isbn: "978-1-5090-3806-0" kind: "inproceedings" key: "PuntVZ16b" - title: "A Tool for Detecting and Refactoring the A?B*A Pattern in CSS" author: - name: "Leonard Punt" link: "https://researchr.org/alias/leonard-punt" - name: "Sjoerd Visscher" link: "https://researchr.org/alias/sjoerd-visscher" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2016" doi: "http://doi.ieeecomputersociety.org/10.1109/ICSME.2016.90" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICSME.2016.90" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/PuntVZ16a" researchr: "https://researchr.org/publication/PuntVZ16a" cites: 0 citedby: 0 pages: "613" booktitle: "2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016, Raleigh, NC, USA, October 2-7, 2016" publisher: "IEEE Computer Society" isbn: "978-1-5090-3806-0" kind: "inproceedings" key: "PuntVZ16a" - title: "Recovering Grammar Relationships for the Java Language Specification" author: - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2009" doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2009.29" abstract: " We describe a completed effort to recover the relationships between all the grammars that occur in the different versions of the Java Language Specification (JLS). The relationships are represented as grammar transformations that capture all accidental or intended differences between the JLS grammars. This process is mechanized and it is driven by simple measures of nominal or structural differences between any pair of grammars involved. Our work suggests a form of consistency management for the JLS in particular, and language specifications in general. " links: doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2009.29" successor: "https://researchr.org/publication/JLS-CoRR2010" tags: - "Java" - "completeness" - "transformation language" - "grammar convergence" - "consistency" - "grammar recovery" - "transformation" - "grammar" researchr: "https://researchr.org/publication/JLS-SCAM2009" cites: 0 citedby: 0 pages: "178-186" 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: "JLS-SCAM2009" - title: "Qualify First! A Large Scale Modernisation Report" author: - name: "Leszek Wlodarski" link: "https://researchr.org/alias/leszek-wlodarski" - name: "Boris Pereira" link: "https://researchr.org/alias/boris-pereira" - name: "Ivan Povazan" link: "https://researchr.org/alias/ivan-povazan" - name: "Johan Fabry" link: "https://researchr.org/alias/johan-fabry" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2019" doi: "https://doi.org/10.1109/SANER.2019.8668006" links: doi: "https://doi.org/10.1109/SANER.2019.8668006" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wcre/WlodarskiPPFZ19" researchr: "https://researchr.org/publication/WlodarskiPPFZ19" cites: 0 citedby: 0 pages: "569-573" booktitle: "26th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2019, Hangzhou, China, February 24-27, 2019" editor: - name: "Xinyu Wang" link: "https://researchr.org/alias/xinyu-wang" - name: "David Lo 0001" link: "https://researchr.org/alias/david-lo-0001" - name: "Emad Shihab" link: "https://researchr.org/alias/emad-shihab" publisher: "IEEE" isbn: "978-1-7281-0591-8" kind: "inproceedings" key: "WlodarskiPPFZ19" - title: "Parsing in a Broad Sense" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" - name: "Anya Helene Bagge" link: "http://www.ii.uib.no/~anya/" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-319-11653-2_4" links: doi: "http://dx.doi.org/10.1007/978-3-319-11653-2_4" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/ZaytsevB14" researchr: "https://researchr.org/publication/ZaytsevB14" cites: 0 citedby: 0 pages: "50-67" booktitle: "Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings" editor: - name: "Jürgen Dingel" link: "https://researchr.org/alias/j%C3%BCrgen-dingel" - name: "Wolfram Schulte" link: "https://researchr.org/alias/wolfram-schulte" - name: "Isidro Ramos" link: "https://researchr.org/alias/isidro-ramos" - name: "Silvia Abrahão" link: "https://researchr.org/alias/silvia-abrah%C3%A3o" - name: "Emilio Insfrán" link: "https://researchr.org/alias/emilio-insfr%C3%A1n" volume: "8767" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-11652-5" kind: "inproceedings" key: "ZaytsevB14" - title: "Combinatorial Test Set Generation: Concepts, Implementation, Case Study" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2004" month: "June" abstract: "This project is about test data generation in a combinatorial way, with usage of specific mechanisms to control explosion. The work consists of adoption of existing concepts, description of the test data generator, application to the XML case study with XML Schema as grammar description formalism and practical usage of the tool. Actual results presented in the work show the differences and the common behaviour among three XML validators—the information that can be used to judge, choose, discard and upgrade them." note: "Available via \\url{http://grammarware.net/text/2004/zaytsev-thesis.pdf}." links: "pdf": "http://grammarware.net/text/2004/zaytsev-thesis.pdf" tags: - "data validation" - "case study" - "XML" - "XML Schema" - "grammar testing" - "testing" - "data-flow" - "grammar" researchr: "https://researchr.org/publication/Zaytsev-Thesis2004" cites: 0 citedby: 0 school: "Universiteit Twente" address: "Enschede, The Netherlands" advisor: - name: "Ed Brinksma" link: "http://www.sigir2007.org/~brinksma/" - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" kind: "mastersthesis" key: "Zaytsev-Thesis2004" - title: "Recovering Grammar Relationships for the Java Language Specification" author: - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2010" month: "August" abstract: "Grammar convergence is a method that helps discovering relationships between different grammars of the same language or different language versions. The key element of the method is the operational, transformation-based representation of those relationships. Given input grammars for convergence, they are transformed until they are structurally equal. The transformations are composed from primitive operators; properties of these operators and the composed chains provide quantitative and qualitative insight into the relationships between the grammars at hand. We describe a refined method for grammar convergence, and we use it in a major study, where we recover the relationships between all the grammars that occur in the different versions of the Java Language Specification (JLS). The relationships are represented as grammar transformation chains that capture all accidental or intended differences between the JLS grammars. This method is mechanized and driven by nominal and structural differences between pairs of grammars that are subject to asymmetric, binary convergence steps. We present the underlying operator suite for grammar transformation in detail, and we illustrate the suite with many examples of transformations on the JLS grammars. We also describe the extraction effort, which was needed to make the JLS grammars amenable to automated processing. We include substantial metadata about the convergence process for the JLS so that the effort becomes reproducible and transparent." links: successor: "https://researchr.org/publication/JLS-SQJ2011" tags: - "rule-based" - "Java" - "transformation language" - "grammar convergence" - "grammar recovery" - "transformation" - "grammar" researchr: "https://researchr.org/publication/JLS-CoRR2010" cites: 0 citedby: 0 journal: "CoRR" volume: "abs/1008.4188" pages: "1-46" kind: "article" key: "JLS-CoRR2010" - title: "Language Design with Intent" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2017" doi: "http://doi.ieeecomputersociety.org/10.1109/MODELS.2017.16" links: doi: "http://doi.ieeecomputersociety.org/10.1109/MODELS.2017.16" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/Zaytsev17" researchr: "https://researchr.org/publication/Zaytsev17-0" cites: 0 citedby: 0 pages: "45-52" booktitle: "20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017" publisher: "IEEE Computer Society" isbn: "978-1-5386-3492-9" kind: "inproceedings" key: "Zaytsev17-0" - title: "Language design and implementation for the domain of coding conventions" author: - name: "Boryana Goncharenko" link: "https://researchr.org/alias/boryana-goncharenko" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2016" doi: "http://dl.acm.org/citation.cfm?id=2997386" links: doi: "http://dl.acm.org/citation.cfm?id=2997386" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/GoncharenkoZ16" researchr: "https://researchr.org/publication/GoncharenkoZ16" cites: 0 citedby: 0 pages: "90-104" 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: "GoncharenkoZ16" - title: "Languages, Models and Megamodels" author: - name: "Anya Helene Bagge" link: "https://researchr.org/alias/anya-helene-bagge" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2014" doi: "http://ceur-ws.org/Vol-1354/paper-12.pdf" links: doi: "http://ceur-ws.org/Vol-1354/paper-12.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sattose/BaggeZ14" researchr: "https://researchr.org/publication/BaggeZ14-0" cites: 0 citedby: 0 pages: "132-143" booktitle: "Post-proceedings of the Seventh Seminar on Advanced Techniques and Tools for Software Evolution, SATToSE 2014, L'Aquila, Italy, 9-11 July 2014" editor: - name: "Davide Di Ruscio" link: "https://researchr.org/alias/davide-di-ruscio" - name: "Vadim Zaytsev" link: "http://grammarware.net" volume: "1354" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "BaggeZ14-0" - title: "Detecting Refactorable Clones by Slicing Program Dependence Graphs" author: - name: "Ammar Hamid" link: "https://researchr.org/alias/ammar-hamid" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2014" doi: "http://ceur-ws.org/Vol-1354/paper-04.pdf" links: doi: "http://ceur-ws.org/Vol-1354/paper-04.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sattose/HamidZ14" researchr: "https://researchr.org/publication/HamidZ14" cites: 0 citedby: 0 pages: "37-48" booktitle: "Post-proceedings of the Seventh Seminar on Advanced Techniques and Tools for Software Evolution, SATToSE 2014, L'Aquila, Italy, 9-11 July 2014" editor: - name: "Davide Di Ruscio" link: "https://researchr.org/alias/davide-di-ruscio" - name: "Vadim Zaytsev" link: "http://grammarware.net" volume: "1354" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "HamidZ14" - title: "The MOOC Hype: Can We Ignore It? Reflections on the Current Use of Massive Open Online Courses in Software Modeling Education" author: - name: "Dave R. Stikkolorum" link: "https://researchr.org/alias/dave-r.-stikkolorum" - name: "Birgit Demuth" link: "https://researchr.org/alias/birgit-demuth" - name: "Vadim Zaytsev" link: "http://grammarware.net" - name: "Frédéric Boulanger" link: "https://researchr.org/alias/fr%C3%A9d%C3%A9ric-boulanger" - name: "Jeff Gray" link: "https://researchr.org/alias/jeff-gray" year: "2014" doi: "http://ceur-ws.org/Vol-1346/edusymp2014_paper_9.pdf" links: doi: "http://ceur-ws.org/Vol-1346/edusymp2014_paper_9.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/StikkolorumDZBG14" researchr: "https://researchr.org/publication/StikkolorumDZBG14" cites: 0 citedby: 0 pages: "75-86" booktitle: "Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 29, 2014" editor: - name: "Birgit Demuth" link: "https://researchr.org/alias/birgit-demuth" - name: "Dave R. Stikkolorum" link: "https://researchr.org/alias/dave-r.-stikkolorum" volume: "1346" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "StikkolorumDZBG14" - title: "Does Python Smell Like Java? Tool Support for Design Defect Discovery in Python" author: - name: "Nicole Vavrová" link: "https://researchr.org/alias/nicole-vavrov%C3%A1" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2017" doi: "https://doi.org/10.22152/programming-journal.org/2017/1/11" links: doi: "https://doi.org/10.22152/programming-journal.org/2017/1/11" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/programming/VavrovaZ17" researchr: "https://researchr.org/publication/VavrovaZ17" cites: 0 citedby: 0 journal: "Programming Journal" volume: "1" number: "2" pages: "11" kind: "article" key: "VavrovaZ17" - title: "Coupled Transformations of Shared Packed Parse Forests" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2015" doi: "http://ceur-ws.org/Vol-1403/paper2.pdf" links: doi: "http://ceur-ws.org/Vol-1403/paper2.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gg/Zaytsev15" researchr: "https://researchr.org/publication/Zaytsev15-0" cites: 0 citedby: 0 pages: "2-17" booktitle: "Proceedings of the 6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation (ICGT 2015) part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, L'Aquila, Italy, July 20, 2015" editor: - name: "Detlef Plump" link: "https://researchr.org/alias/detlef-plump" volume: "1403" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "Zaytsev15-0" - title: "Multi-Language Modelling with Second Order Intensions" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2015" doi: "http://ceur-ws.org/Vol-1505/p4.pdf" links: doi: "http://ceur-ws.org/Vol-1505/p4.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/Zaytsev15" researchr: "https://researchr.org/publication/Zaytsev15-1" cites: 0 citedby: 0 pages: "33-42" booktitle: "Proceedings of the 2nd International Workshop on Multi-Level Modelling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), Ottawa, Canada, September 27-28, 2015" editor: - name: "Colin Atkinson" link: "https://researchr.org/alias/colin-atkinson" - name: "Georg Grossmann" link: "https://researchr.org/alias/georg-grossmann" - name: "Thomas Kühne" link: "https://researchr.org/alias/thomas-k%C3%BChne" - name: "Juan de Lara" link: "https://researchr.org/alias/juan-de-lara" volume: "1505" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "Zaytsev15-1" - title: "BNF WAS HERE: What Have We Done About the Unnecessary Diversity of Notation for Syntactic Definitions" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2012" month: "March" doi: "10.1145/2245276.2232090" abstract: "Reusing existing grammar knowledge residing in standards, specifications and manuals for programming languages, faces several challenges. One of the most significant of them is the diversity of syntactic notations: without loss of generality, we can state that every single language document uses its own notation, which is more often than not, a dialect of the (Extended) Backus-Naur Form. In this paper we report on an approach to solve the diversity problem by providing a way to quickly and concisely specify all the parameters of a syntactic notation. The resulting “meta-ebnf” language was used to successfully recover many grammars from sources that use different syntactic notations. Instead of adding another syntactic notation and arguing about its excellence, we propose to retain the diversity and to cope with it by formally defining syntactic notations and using such definitions to import existing grammars to grammar engineering frameworks and to export (pretty-print) existing grammars to any desired syntactic notation. This result effectively bridges programming language standards and parser generators. The conclusions presented in the paper, were drawn based on analysis of a large corpus of language documents, as well as on the success of its application in practice." tags: - "programming languages" - "rule-based" - "program analysis" - "meta programming" - "application framework" - "meta-model" - "language engineering" - "points-to analysis" - "reuse" - "source-to-source" - "model-driven engineering" - "Meta-Environment" - "parsing" - "systematic-approach" - "grammar" researchr: "https://researchr.org/publication/BNF-WAS-HERE2012" cites: 0 citedby: 0 pages: "1910-1915" booktitle: "Programming Languages Track, Volume II of the Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012)" address: "Riva del Garda, Trento, Italy" organization: "ACM" publisher: "ACM" isbn: "978-1-4503-0857-1" kind: "inproceedings" key: "BNF-WAS-HERE2012" - title: "Blind Men and a Room Full of Elephants" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2019" doi: "http://ceur-ws.org/Vol-2605/keynote2.pdf" links: doi: "http://ceur-ws.org/Vol-2605/keynote2.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/benevol/Zaytsev19" researchr: "https://researchr.org/publication/Zaytsev19" cites: 0 citedby: 0 booktitle: "Proceedings of the 18th Belgium-Netherlands Software Evolution Workshop, Brussels, Belgium, November 28th to 29th, 2019" editor: - name: "Dario Di Nucci" link: "https://researchr.org/alias/dario-di-nucci" - name: "Coen De Roover" link: "https://researchr.org/alias/coen-de-roover" volume: "2605" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "Zaytsev19" - title: "There is more than one way to zen your Python" author: - name: "Aamir Farooq" link: "https://researchr.org/alias/aamir-farooq" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2021" doi: "https://doi.org/10.1145/3486608.3486909" links: doi: "https://doi.org/10.1145/3486608.3486909" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/FarooqZ21" researchr: "https://researchr.org/publication/FarooqZ21-1" cites: 0 citedby: 0 pages: "68-82" booktitle: "SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17 - 18, 2021" editor: - name: "Eelco Visser" link: "http://eelcovisser.org" - name: "Dimitris S. Kolovos" link: "https://researchr.org/alias/dimitris-s.-kolovos" - name: "Emma Söderberg" link: "https://researchr.org/alias/emma-s%C3%B6derberg" publisher: "ACM" isbn: "978-1-4503-9111-5" kind: "inproceedings" key: "FarooqZ21-1" - title: "Negotiated Grammar Evolution" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2014" doi: "http://dx.doi.org/10.5381/jot.2014.13.3.a1" links: doi: "http://dx.doi.org/10.5381/jot.2014.13.3.a1" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jot/Zaytsev14" researchr: "https://researchr.org/publication/Zaytsev14-1" cites: 0 citedby: 0 journal: "Journal of Object Technology" volume: "13" number: "3" kind: "article" key: "Zaytsev14-1" - title: "Modelling program verification tools for software engineers" author: - name: "Sophie Lathouwers" link: "https://researchr.org/alias/sophie-lathouwers" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2022" doi: "https://doi.org/10.1145/3550355.3552426" links: doi: "https://doi.org/10.1145/3550355.3552426" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/LathouwersZ22" researchr: "https://researchr.org/publication/LathouwersZ22" cites: 0 citedby: 0 pages: "98-108" booktitle: "Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022" editor: - name: "Eugene Syriani" link: "https://researchr.org/alias/eugene-syriani" - name: "Houari A. Sahraoui" link: "https://researchr.org/alias/houari-a.-sahraoui" - name: "Nelly Bencomo" link: "https://researchr.org/alias/nelly-bencomo" - name: "Manuel Wimmer" link: "https://researchr.org/alias/manuel-wimmer" publisher: "ACM" isbn: "978-1-4503-9466-6" kind: "inproceedings" key: "LathouwersZ22" - title: "Raincode assembler compiler (tool demo)" author: - name: "Volodymyr Blagodarov" link: "https://researchr.org/alias/volodymyr-blagodarov" - name: "Yves Jaradin" link: "https://researchr.org/alias/yves-jaradin" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2016" doi: "http://dl.acm.org/citation.cfm?id=2997387" links: doi: "http://dl.acm.org/citation.cfm?id=2997387" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/BlagodarovJZ16" researchr: "https://researchr.org/publication/BlagodarovJZ16" cites: 0 citedby: 0 pages: "221-225" 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: "BlagodarovJZ16" - title: "A Unified Format for Language Documents" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-19440-5_13" links: doi: "http://dx.doi.org/10.1007/978-3-642-19440-5_13" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/ZaytsevL10" researchr: "https://researchr.org/publication/ZaytsevL10" cites: 0 citedby: 0 pages: "206-225" booktitle: "Software Language Engineering - Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers" editor: - name: "Brian A. Malloy" link: "https://researchr.org/alias/brian-a.-malloy" - name: "Steffen Staab" link: "https://researchr.org/alias/steffen-staab" - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" volume: "6563" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-19439-9" kind: "inproceedings" key: "ZaytsevL10" - title: "Language Support for Megamodel Renarration" author: - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2013" doi: "http://ceur-ws.org/Vol-1089/5.pdf" links: doi: "http://ceur-ws.org/Vol-1089/5.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/LaemmelZ13" researchr: "https://researchr.org/publication/LaemmelZ13" cites: 0 citedby: 0 pages: "36-45" booktitle: "Proceedings of the Workshop on Extreme Modeling co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2013), Miami, Florida, USA, September 29, 2013" editor: - name: "Juan de Lara" link: "https://researchr.org/alias/juan-de-lara" - name: "Davide Di Ruscio" link: "https://researchr.org/alias/davide-di-ruscio" - name: "Alfonso Pierantonio" link: "https://researchr.org/alias/alfonso-pierantonio" volume: "1089" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "LaemmelZ13" - title: "Home Page" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" researchr: "https://researchr.org/publication/grammarware-net" cites: 0 citedby: 0 howpublished: "http://grammarware.net" kind: "misc" key: "grammarware-net" - title: "Language Evolution, Metasyntactically" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2012" doi: "http://journal.ub.tu-berlin.de/eceasst/article/view/708" links: doi: "http://journal.ub.tu-berlin.de/eceasst/article/view/708" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/eceasst/Zaytsev12" researchr: "https://researchr.org/publication/Zaytsev12-1" cites: 0 citedby: 0 journal: "ECEASST" volume: "49" kind: "article" key: "Zaytsev12-1" - title: "BibSLEIGH: Bibliography of Software (Language) Engineering in Generated Hypertext" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2015" doi: "http://ceur-ws.org/Vol-1820/paper-06.pdf" links: doi: "http://ceur-ws.org/Vol-1820/paper-06.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sattose/Zaytsev15" researchr: "https://researchr.org/publication/Zaytsev15-4" cites: 0 citedby: 0 pages: "54-64" booktitle: "Post-proceedings of the 8th Seminar on Advanced Techniques and Tools for Software Evolution, Mons, Belgium, July 6-8, 2015" editor: - name: "Anya Helene Bagge" link: "https://researchr.org/alias/anya-helene-bagge" - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" - name: "Haidar Osman" link: "https://researchr.org/alias/haidar-osman" volume: "1820" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "Zaytsev15-4" - title: "Reflections on Courses for Software Language Engineering" author: - name: "Anya Helene Bagge" link: "https://researchr.org/alias/anya-helene-bagge" - name: "Ralf Lämmel" link: "https://researchr.org/alias/ralf-l%C3%A4mmel" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2014" doi: "http://ceur-ws.org/Vol-1346/edusymp2014_paper_6.pdf" links: doi: "http://ceur-ws.org/Vol-1346/edusymp2014_paper_6.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/BaggeLZ14" researchr: "https://researchr.org/publication/BaggeLZ14" cites: 0 citedby: 0 pages: "54-63" booktitle: "Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 29, 2014" editor: - name: "Birgit Demuth" link: "https://researchr.org/alias/birgit-demuth" - name: "Dave R. Stikkolorum" link: "https://researchr.org/alias/dave-r.-stikkolorum" volume: "1346" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "BaggeLZ14" - title: "Micropatterns in Grammars" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2013" doi: "http://dx.doi.org/10.1007/978-3-319-02654-1_7" links: doi: "http://dx.doi.org/10.1007/978-3-319-02654-1_7" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/Zaytsev13" researchr: "https://researchr.org/publication/Zaytsev13" cites: 0 citedby: 0 pages: "117-136" 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: "Zaytsev13" - title: "An industrial case study in compiler testing (tool demo)" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2018" doi: "https://doi.org/10.1145/3276604.3276619" links: doi: "https://doi.org/10.1145/3276604.3276619" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/Zaytsev18" researchr: "https://researchr.org/publication/Zaytsev18" cites: 0 citedby: 0 pages: "97-102" 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: "Zaytsev18" - title: "Grammar Maturity Model" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2014" doi: "http://ceur-ws.org/Vol-1331/p5.pdf" links: doi: "http://ceur-ws.org/Vol-1331/p5.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/Zaytsev14b" researchr: "https://researchr.org/publication/Zaytsev14b" cites: 0 citedby: 0 pages: "42-51" booktitle: "Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, Sept 28, 2014" editor: - name: "Alfonso Pierantonio" link: "https://researchr.org/alias/alfonso-pierantonio" - name: "Bernhard Schätz" link: "https://researchr.org/alias/bernhard-sch%C3%A4tz" - name: "Dalila Tamzalit" link: "https://researchr.org/alias/dalila-tamzalit" volume: "1331" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "Zaytsev14b" - title: "Reverse Engineering Grammar Relationships" author: - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2010" doi: "http://pi.informatik.uni-siegen.de/stt/30_2/01_Fachgruppenberichte/WSR2010/01-laemmel-zaytsev.pdf" links: doi: "http://pi.informatik.uni-siegen.de/stt/30_2/01_Fachgruppenberichte/WSR2010/01-laemmel-zaytsev.pdf" tags: - "reverse engineering" - "grammar" researchr: "https://researchr.org/publication/ammelZaytsev2010" cites: 0 citedby: 0 kind: "inproceedings" key: "ammelZaytsev2010" - title: "Language Convergence Infrastructure" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2009" month: "July" abstract: "In the process of grammar convergence (involving grammar extraction and transformation for structural equivalence) there is a range of technical problems that can slow the language engineer considerably if not make the work completely infeasible altogether. The paper describes the DSL and the infrastructure behind it that fully automates the convergence process, hides unnecessary backend details, aids development/debugging and enables application of this technology to large scale projects. Guided transformations, transformation generators, grammar comparison, coupled transformations, validation and visualisation questions are addressed." note: "Extended abstract" links: successor: "https://researchr.org/publication/LCI2010" "pdf": "http://grammarware.net/text/2009/lci.pdf" tags: - "transformation language" - "grammar convergence" - "debugging" - "DSL" - "transformation" - "grammar" researchr: "https://researchr.org/publication/LCI2009" cites: 0 citedby: 0 booktitle: "Pre-proceedings of the 3rd International Summer School on Generative and Transformational Techniques in Software Engineering" address: "Braga, Portugal" kind: "inproceedings" key: "LCI2009" - title: "Taxonomy of Flexible Linguistic Commitments" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2015" doi: "http://ceur-ws.org/Vol-1470/FlexMDE15_paper_7.pdf" links: doi: "http://ceur-ws.org/Vol-1470/FlexMDE15_paper_7.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/Zaytsev15a" researchr: "https://researchr.org/publication/Zaytsev15a" cites: 0 citedby: 0 pages: "42-50" booktitle: "Proceedings of the Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), Ottawa, Canada, September 29, 2015" editor: - name: "Davide Di Ruscio" link: "https://researchr.org/alias/davide-di-ruscio" - name: "Juan de Lara" link: "https://researchr.org/alias/juan-de-lara" - name: "Alfonso Pierantonio" link: "https://researchr.org/alias/alfonso-pierantonio" volume: "1470" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "Zaytsev15a" - title: "Reflections on the Lack of Adoption of Domain Specific Languages" author: - name: "Federico Tomassetti" link: "https://researchr.org/alias/federico-tomassetti" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2020" doi: "http://ceur-ws.org/Vol-2707/oopslepaper5.pdf" links: doi: "http://ceur-ws.org/Vol-2707/oopslepaper5.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/staf/TomassettiZ20" researchr: "https://researchr.org/publication/TomassettiZ20" cites: 0 citedby: 0 pages: "85-94" booktitle: "STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in Software Language Engineering co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2020), Bergen, Norway, June 22-26, 2020" editor: - name: "Loli Burgueño" link: "https://researchr.org/alias/loli-burgue%C3%B1o" - name: "Lars Michael Kristensen" link: "https://researchr.org/alias/lars-michael-kristensen" volume: "2707" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "TomassettiZ20" - title: "Pending Evolution of Grammars" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2013" doi: "http://ceur-ws.org/Vol-1089/4.pdf" links: doi: "http://ceur-ws.org/Vol-1089/4.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/Zaytsev13" researchr: "https://researchr.org/publication/Zaytsev13-0" cites: 0 citedby: 0 pages: "28-35" booktitle: "Proceedings of the Workshop on Extreme Modeling co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2013), Miami, Florida, USA, September 29, 2013" editor: - name: "Juan de Lara" link: "https://researchr.org/alias/juan-de-lara" - name: "Davide Di Ruscio" link: "https://researchr.org/alias/davide-di-ruscio" - name: "Alfonso Pierantonio" link: "https://researchr.org/alias/alfonso-pierantonio" volume: "1089" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "Zaytsev13-0" - title: "The A?B*A Pattern: Undoing Style in CSS and Refactoring Opportunities It Presents" author: - name: "Leonard Punt" link: "https://researchr.org/alias/leonard-punt" - name: "Sjoerd Visscher" link: "https://researchr.org/alias/sjoerd-visscher" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2016" doi: "http://doi.ieeecomputersociety.org/10.1109/ICSME.2016.73" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICSME.2016.73" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/PuntVZ16" researchr: "https://researchr.org/publication/PuntVZ16" cites: 0 citedby: 0 pages: "67-77" booktitle: "2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016, Raleigh, NC, USA, October 2-7, 2016" publisher: "IEEE Computer Society" isbn: "978-1-5090-3806-0" kind: "inproceedings" key: "PuntVZ16" - title: "Cotransforming Grammars with Shared Packed Parse Forests" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2015" doi: "http://journal.ub.tu-berlin.de/eceasst/article/view/1032" links: doi: "http://journal.ub.tu-berlin.de/eceasst/article/view/1032" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/eceasst/Zaytsev15" researchr: "https://researchr.org/publication/Zaytsev15-2" cites: 0 citedby: 0 journal: "ECEASST" volume: "73" kind: "article" key: "Zaytsev15-2" - title: "Towards a taxonomy of grammar smells" author: - name: "Mats Stijlaart" link: "https://researchr.org/alias/mats-stijlaart" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2017" doi: "http://doi.acm.org/10.1145/3136014.3136035" links: doi: "http://doi.acm.org/10.1145/3136014.3136035" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/StijlaartZ17" researchr: "https://researchr.org/publication/StijlaartZ17" cites: 0 citedby: 0 pages: "43-54" booktitle: "Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017" editor: - name: "Benoît Combemale" link: "https://researchr.org/alias/beno%C3%AEt-combemale" - name: "Marjan Mernik" link: "https://researchr.org/alias/marjan-mernik" - name: "Bernhard Rumpe" link: "http://www.se-rwth.de/~rumpe/" publisher: "ACM" isbn: "978-1-4503-5525-4" kind: "inproceedings" key: "StijlaartZ17" - title: "A Scalable Log Differencing Visualisation Applied to COBOL Refactoring" author: - name: "Céline Deknop" link: "https://researchr.org/alias/c%C3%A9line-deknop" - name: "Kim Mens" link: "https://researchr.org/alias/kim-mens" - name: "Alexandre Bergel" link: "https://researchr.org/alias/alexandre-bergel" - name: "Johan Fabry" link: "https://researchr.org/alias/johan-fabry" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2021" doi: "https://doi.org/10.1109/VISSOFT52517.2021.00010" links: doi: "https://doi.org/10.1109/VISSOFT52517.2021.00010" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vissoft/DeknopMBFZ21" researchr: "https://researchr.org/publication/DeknopMBFZ21" cites: 0 citedby: 0 pages: "1-11" booktitle: "Working Conference on Software Visualization, VISSOFT 2021, Luxembourg, September 27-28, 2021" publisher: "IEEE" isbn: "978-1-6654-3144-6" kind: "inproceedings" key: "DeknopMBFZ21" - title: "Negotiated grammar transformation" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2012" doi: "https://doi.org/10.1145/2467307.2467313" links: doi: "https://doi.org/10.1145/2467307.2467313" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/Zaytsev12a" researchr: "https://researchr.org/publication/Zaytsev12a" cites: 0 citedby: 0 pages: "27-32" booktitle: "Proceedings of the 2012 Extreme Modeling Workshop, XM '12, Innsbruck, Austria, October 1, 2012" editor: - name: "Davide Di Ruscio" link: "https://researchr.org/alias/davide-di-ruscio" - name: "Alfonso Pierantonio" link: "https://researchr.org/alias/alfonso-pierantonio" - name: "Juan de Lara" link: "https://researchr.org/alias/juan-de-lara" publisher: "ACM" isbn: "978-1-4503-1804-4" kind: "inproceedings" key: "Zaytsev12a" - title: "A Unified Format for Language Documents" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" year: "2010" month: "October" abstract: "We have analyzed a substantial number of language documentation artifacts, including language standards, language specifications, language reference manuals, as well as internal documents of standardization bodies. We have reverse-engineered their intended internal structure, and compared the results. The Language Document Format (LDF), was developed to specifically support the documentation domain. We have also integrated LDF into an engineering discipline for language documents including tool support, for example, for rendering language documents, extracting grammars and samples, and migrating existing documents into LDF. The definition of LDF, tool support for LDF, and LDF applications are freely available through SourceForge." links: "official abstract": "http://softlang.uni-koblenz.de/ldf/" "pdf": "http://grammarware.net/text/2010/ldf.pdf" tags: - "reverse engineering" - "language engineering" - "grammar" - "domain-specific language" researchr: "https://researchr.org/publication/LDF2010" cites: 0 citedby: 0 booktitle: "Pre-proceedings of the Third International Conference on Software Language Engineering (SLE 2010)" volume: "CS-Report 10–12" address: "Eindhoven, The Netherlands" organization: "Technische Universiteit Eindhoven" kind: "inproceedings" key: "LDF2010" - title: "Mutative Fuzzing for an Assembler Compiler" author: - name: "Aynel Gül" link: "https://researchr.org/alias/aynel-g%C3%BCl" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2019" doi: "http://ceur-ws.org/Vol-2605/18.pdf" links: doi: "http://ceur-ws.org/Vol-2605/18.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/benevol/GulZ19" researchr: "https://researchr.org/publication/GulZ19-0" cites: 0 citedby: 0 booktitle: "Proceedings of the 18th Belgium-Netherlands Software Evolution Workshop, Brussels, Belgium, November 28th to 29th, 2019" editor: - name: "Dario Di Nucci" link: "https://researchr.org/alias/dario-di-nucci" - name: "Coen De Roover" link: "https://researchr.org/alias/coen-de-roover" volume: "2605" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "GulZ19-0" - title: "Software language engineers' worst nightmare" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2020" doi: "https://doi.org/10.1145/3426425.3426933" links: doi: "https://doi.org/10.1145/3426425.3426933" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/Zaytsev20" researchr: "https://researchr.org/publication/Zaytsev20-0" cites: 0 citedby: 0 pages: "72-85" booktitle: "Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, Virtual Event, USA, November 16-17, 2020" editor: - name: "Ralf Lämmel" link: "https://researchr.org/alias/ralf-l%C3%A4mmel" - name: "Laurence Tratt" link: "https://researchr.org/alias/laurence-tratt" - name: "Juan de Lara" link: "https://researchr.org/alias/juan-de-lara" publisher: "ACM" isbn: "978-1-4503-8176-5" kind: "inproceedings" key: "Zaytsev20-0" - title: "Parser generation by example for legacy pattern languages" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2017" doi: "http://doi.acm.org/10.1145/3136040.3136058" links: doi: "http://doi.acm.org/10.1145/3136040.3136058" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/Zaytsev17" researchr: "https://researchr.org/publication/Zaytsev17" cites: 0 citedby: 0 pages: "212-218" booktitle: "Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017" editor: - name: "Matthew Flatt" link: "https://researchr.org/alias/matthew-flatt" - name: "Sebastian Erdweg" link: "http://www.informatik.uni-marburg.de/~seba/" publisher: "ACM" isbn: "978-1-4503-5524-7" kind: "inproceedings" key: "Zaytsev17" - title: "Modelling and Model Checking of Distributed Systems" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2003" month: "June" abstract: "This work is an application, a projection of one research area into another. The first one is software validation. The need for proving certain properties about a program such as deadlock freedom or availability constraints evolved a long time ago when first program complexes of considerable size appeared. The first steps in proving correctness of computer programs were taken in the 1970s (e.g. communicating sequential processes and proof systems for them). Recently the new trend in this area was model-based methods where a computer was doing a man’s job. They were used for years in hardware verification, but only recently the computational power has made them applicable for software. The second area of research of this work is distributed application development. With the growth of the Internet, single user and single machine applications are dying. Modern tendencies are about considering large heterogeneous portfolios of components that collaborate in providing a service to end users. One of the chapters of this work is dedicated to researching the influence this domain has on software verification and which parts of distributed applications can be efficiently verified. To complete the picture, the last chapter is dedicated to the practical side of the issues. It presents practical analysis, comprehensive examination, model checking, verification, model refinement and repeated verification for three case studies. We will consider an untraceability protocol, an access management system and a transaction processing system. Each case study comprises a classic scheme and our own complicating extensions. This forms a practical basis of this work and demonstrates how the chosen methodology of model checking should be applied to distributed applications." note: "Available via \\url{http://grammarware.net/text/2003/zaytsev-thesis.pdf}." links: "pdf": "http://grammarware.net/text/2003/zaytsev-thesis.pdf" tags: - "distributed applications" - "rule-based" - "program analysis" - "completeness" - "meta programming" - "case study" - "software components" - "model checking" - "program verification" - "meta-model" - "modeling" - "protocol" - "refinement" - "software component" - "domain analysis" - "analysis" - "constraints" - "model-driven development" - "Meta-Environment" - "process modeling" researchr: "https://researchr.org/publication/Zaytsev-Thesis2003" cites: 0 citedby: 0 school: "Rostov State University" address: "Rostov-on-Don, Russia" advisor: - name: "Alexander Litvinenko" link: "http://dbs.sfedu.ru/www/rsu$persons$.startup?p_per_id=309" kind: "mastersthesis" key: "Zaytsev-Thesis2003" - title: "Model-based Student Admission" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2014" doi: "http://ceur-ws.org/Vol-1346/edusymp2014_paper_7.pdf" links: doi: "http://ceur-ws.org/Vol-1346/edusymp2014_paper_7.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/Zaytsev14a" researchr: "https://researchr.org/publication/Zaytsev14a" cites: 0 citedby: 0 pages: "63-72" booktitle: "Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 29, 2014" editor: - name: "Birgit Demuth" link: "https://researchr.org/alias/birgit-demuth" - name: "Dave R. Stikkolorum" link: "https://researchr.org/alias/dave-r.-stikkolorum" volume: "1346" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "Zaytsev14a" - title: "Notation-parametric grammar recovery" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2012" doi: "http://doi.acm.org/10.1145/2427048.2427057" links: doi: "http://doi.acm.org/10.1145/2427048.2427057" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/Zaytsev12" researchr: "https://researchr.org/publication/Zaytsev12-0" cites: 0 citedby: 0 pages: "9" booktitle: "International Workshop on Language Descriptions, Tools, and Applications, LDTA '12, Tallinn, Estonia, March 31 - April 1, 2012" editor: - name: "Anthony Sloane" link: "https://researchr.org/alias/anthony-sloane" - name: "Suzana Andova" link: "https://researchr.org/alias/suzana-andova" publisher: "ACM" isbn: "978-1-4503-1536-4" kind: "inproceedings" key: "Zaytsev12-0" - title: "International workshop on open and original problems in software language engineering" author: - name: "Anya Helene Bagge" link: "http://www.ii.uib.no/~anya/" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2014" doi: "http://dx.doi.org/10.1109/CSMR-WCRE.2014.6747223" links: doi: "http://dx.doi.org/10.1109/CSMR-WCRE.2014.6747223" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/csmr/BaggeZ14" researchr: "https://researchr.org/publication/BaggeZ14" cites: 0 citedby: 0 pages: "478" booktitle: "2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE 2014, Antwerp, Belgium, February 3-6, 2014" editor: - name: "Serge Demeyer" link: "https://researchr.org/alias/serge-demeyer" - name: "Dave Binkley" link: "https://researchr.org/alias/dave-binkley" - name: "Filippo Ricca" link: "https://researchr.org/alias/filippo-ricca" publisher: "IEEE" kind: "inproceedings" key: "BaggeZ14" - title: "Mining Patterns in Source Code Using Tree Mining Algorithms" author: - name: "Hoang-Son Pham" link: "https://researchr.org/alias/hoang-son-pham" - name: "Siegfried Nijssen" link: "https://researchr.org/alias/siegfried-nijssen" - name: "Kim Mens" link: "https://researchr.org/alias/kim-mens" - name: "Dario Di Nucci" link: "https://researchr.org/alias/dario-di-nucci" - name: "Tim Molderez" link: "https://researchr.org/alias/tim-molderez" - name: "Coen De Roover" link: "https://researchr.org/alias/coen-de-roover" - name: "Johan Fabry" link: "https://researchr.org/alias/johan-fabry" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2019" doi: "https://doi.org/10.1007/978-3-030-33778-0_35" links: doi: "https://doi.org/10.1007/978-3-030-33778-0_35" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/dis/PhamNMNMRFZ19" researchr: "https://researchr.org/publication/PhamNMNMRFZ19" cites: 0 citedby: 0 pages: "471-480" booktitle: "Discovery Science - 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings" editor: - name: "Petra Kralj Novak" link: "https://researchr.org/alias/petra-kralj-novak" - name: "Tomislav Smuc" link: "https://researchr.org/alias/tomislav-smuc" - name: "Saso Dzeroski" link: "https://researchr.org/alias/saso-dzeroski" volume: "11828" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-030-33778-0" kind: "inproceedings" key: "PhamNMNMRFZ19" - title: "An Introduction to Grammar Convergence" author: - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-00255-7_17" abstract: "Grammar convergence is a lightweight verification method for establishing and maintaining the correspondence between grammar knowledge ingrained in all kinds of software artifacts, e.g., object models, XML schemas, parser descriptions, or language documents. The central idea is to extract grammars from diverse software artifacts, and to transform the grammars until they become syntactically identical. The present paper introduces and illustrates the basics of grammar convergence. " links: doi: "http://dx.doi.org/10.1007/978-3-642-00255-7_17" "authors' website": "http://tr.im/grcon" tags: - "model-to-model transformation" - "grammar transformation" - "meta-model" - "XML" - "modeling language" - "XML Schema" - "transformation language" - "language modeling" - "grammar convergence" - "source-to-source" - "object-role modeling" - "model transformation" - "Meta-Environment" - "parsing" - "meta-objects" - "transformation" - "grammar" researchr: "https://researchr.org/publication/Convergence2009" cites: 0 citedby: 0 pages: "246-260" booktitle: "Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings" editor: - name: "Michael Leuschel" link: "http://www.stups.uni-duesseldorf.de/~leuschel" - name: "Heike Wehrheim" link: "https://researchr.org/alias/heike-wehrheim" volume: "5423" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-00254-0" kind: "inproceedings" key: "Convergence2009" - title: "CSS Corpus for Reproducible Analysis" author: - name: "Nico de Groot" link: "https://researchr.org/alias/nico-de-groot" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2016" doi: "http://ceur-ws.org/Vol-1791/paper-06.pdf" links: doi: "http://ceur-ws.org/Vol-1791/paper-06.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sattose/GrootZ16" researchr: "https://researchr.org/publication/GrootZ16" cites: 0 citedby: 0 pages: "47-56" booktitle: "Post-proceedings of the 9th Seminar on Advanced Techniques and Tools for Software Evolution, Bergen, Norway, July 11-13, 2016" editor: - name: "Mircea Lungu" link: "https://researchr.org/alias/mircea-lungu" - name: "Anya Helene Bagge" link: "https://researchr.org/alias/anya-helene-bagge" - name: "Haidar Osman" link: "https://researchr.org/alias/haidar-osman" volume: "1791" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "GrootZ16" - title: "Software Language Engineering by Intentional Rewriting" author: - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2014" doi: "http://journal.ub.tu-berlin.de/eceasst/article/view/903" links: doi: "http://journal.ub.tu-berlin.de/eceasst/article/view/903" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/eceasst/Zaytsev14" researchr: "https://researchr.org/publication/Zaytsev14-0" cites: 0 citedby: 0 journal: "ECEASST" volume: "65" kind: "article" key: "Zaytsev14-0" - title: "Workshop on open and original problems in software language engineering" author: - name: "Anya Helene Bagge" link: "http://www.ii.uib.no/~anya/" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2013" doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2013.6671334" links: doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2013.6671334" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wcre/BaggeZ13" researchr: "https://researchr.org/publication/BaggeZ13" cites: 0 citedby: 0 pages: "493-494" booktitle: "20th Working Conference on Reverse Engineering, WCRE 2013, Koblenz, Germany, October 14-17, 2013" editor: - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" - name: "Rocco Oliveto" link: "https://researchr.org/alias/rocco-oliveto" - name: "Romain Robbes" link: "https://researchr.org/alias/romain-robbes" publisher: "IEEE" kind: "inproceedings" key: "BaggeZ13" - title: "Comparison of Context-Free Grammars Based on Parsing Generated Test Data" author: - name: "Bernd Fischer 0002" link: "https://researchr.org/alias/bernd-fischer-0002" - name: "Ralf Lämmel" link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html" - name: "Vadim Zaytsev" link: "http://grammarware.net" year: "2011" doi: "http://dx.doi.org/10.1007/978-3-642-28830-2_18" links: doi: "http://dx.doi.org/10.1007/978-3-642-28830-2_18" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/FischerLZ11" researchr: "https://researchr.org/publication/FischerLZ11" cites: 0 citedby: 0 pages: "324-343" 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: "FischerLZ11" - title: "Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures" year: "2017" doi: "https://doi.org/10.1007/978-3-319-60074-1" links: doi: "https://doi.org/10.1007/978-3-319-60074-1" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gttse/2015" researchr: "https://researchr.org/publication/gttse-2015" cites: 0 citedby: 0 booktitle: "Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures" conference: "GTTSE" editor: - name: "Jácome Cunha" link: "https://researchr.org/alias/j%C3%A1come-cunha" - name: "João Paulo Fernandes" link: "https://researchr.org/alias/jo%C3%A3o-paulo-fernandes" - name: "Ralf Lämmel" link: "https://researchr.org/alias/ralf-l%C3%A4mmel" - name: "João Saraiva" link: "https://researchr.org/alias/jo%C3%A3o-saraiva" - name: "Vadim Zaytsev" link: "http://grammarware.net" volume: "10223" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-60074-1" kind: "proceedings" key: "gttse-2015" - title: "Post-proceedings of the Seventh Seminar on Advanced Techniques and Tools for Software Evolution, SATToSE 2014, L'Aquila, Italy, 9-11 July 2014" year: "2015" doi: "http://ceur-ws.org/Vol-1354" links: doi: "http://ceur-ws.org/Vol-1354" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sattose/2014" researchr: "https://researchr.org/publication/sattose-2014" cites: 0 citedby: 0 booktitle: "Post-proceedings of the Seventh Seminar on Advanced Techniques and Tools for Software Evolution, SATToSE 2014, L'Aquila, Italy, 9-11 July 2014" conference: "sattose" editor: - name: "Davide Di Ruscio" link: "https://researchr.org/alias/davide-di-ruscio" - name: "Vadim Zaytsev" link: "http://grammarware.net" volume: "1354" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "proceedings" key: "sattose-2014"