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)" 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: "sigsoft" 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: "OOPSLA" 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: "MoDELS" 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: "jot" 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: "SAC" 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: "sattose" 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. " 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" 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: "staf" 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: "MoDELS" 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: "stt" 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: "SCP" 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: "OOPSLA" 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." 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" 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: "sqj" 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: "PROFES" 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: "WCRE" 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: "CSMR" 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: "OOPSLA" 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: "ICSM" 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: "ICSM" 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: "SCAM" 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: "WCRE" 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: "MoDELS" 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." 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: "MoDELS" 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: "SLE" 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: "sattose" 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: "sattose" 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: "MoDELS" 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" 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: "gg" 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: "MoDELS" 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)" 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: "BENEVOL" 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" 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: "jot" 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: "MoDELS" 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: "SLE" 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: "SLE" 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: "MoDELS" 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: "sattose" 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: "MoDELS" 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: "SLE" 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: "SLE" 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: "MoDELS" 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." 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" 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: "MoDELS" 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" 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: "MoDELS" 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: "ICSM" 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: "SLE" 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: "vissoft" 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: "MoDELS" 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)" 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: "BENEVOL" 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: "SLE" 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: "GPCE" 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." 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: "MoDELS" 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: "LDTA" 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: "CSMR" 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: "dis" 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: "IFM" 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: "sattose" 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: "WCRE" 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: "SLE" 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"