Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 1-340, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Proceedings{lammel_et_al:OASIcs.EVCS.2023, title = {{OASIcs, Volume 109, EVCS 2023, Complete Volume}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {1--340}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023}, URN = {urn:nbn:de:0030-drops-177693}, doi = {10.4230/OASIcs.EVCS.2023}, annote = {Keywords: OASIcs, Volume 109, EVCS 2023, Complete Volume} }
Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 0:i-0:xviii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{lammel_et_al:OASIcs.EVCS.2023.0, author = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {0:i--0:xviii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.0}, URN = {urn:nbn:de:0030-drops-177706}, doi = {10.4230/OASIcs.EVCS.2023.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Arie van Deursen. Getting Things Done: The Eelco Way. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 1:1-1:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{vandeursen:OASIcs.EVCS.2023.1, author = {van Deursen, Arie}, title = {{Getting Things Done: The Eelco Way}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {1:1--1:4}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.1}, URN = {urn:nbn:de:0030-drops-177710}, doi = {10.4230/OASIcs.EVCS.2023.1}, annote = {Keywords: Leadership} }
Casper Bach Poulsen. Renamingless Capture-Avoiding Substitution for Definitional Interpreters. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 2:1-2:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{bachpoulsen:OASIcs.EVCS.2023.2, author = {Bach Poulsen, Casper}, title = {{Renamingless Capture-Avoiding Substitution for Definitional Interpreters}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {2:1--2:10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.2}, URN = {urn:nbn:de:0030-drops-177728}, doi = {10.4230/OASIcs.EVCS.2023.2}, annote = {Keywords: Capture-avoiding substitution, lambda calculus, definitional interpreter} }
Michael Ballantyne and Matthias Felleisen. Injecting Language Workbench Technology into Mainstream Languages. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 3:1-3:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{ballantyne_et_al:OASIcs.EVCS.2023.3, author = {Ballantyne, Michael and Felleisen, Matthias}, title = {{Injecting Language Workbench Technology into Mainstream Languages}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {3:1--3:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.3}, URN = {urn:nbn:de:0030-drops-177737}, doi = {10.4230/OASIcs.EVCS.2023.3}, annote = {Keywords: Language workbenches, macro systems, language adoption} }
Andrew P. Black, Kim B. Bruce, and James Noble. The Importance of Being Eelco. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 4:1-4:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{black_et_al:OASIcs.EVCS.2023.4, author = {Black, Andrew P. and Bruce, Kim B. and Noble, James}, title = {{The Importance of Being Eelco}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {4:1--4:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.4}, URN = {urn:nbn:de:0030-drops-177743}, doi = {10.4230/OASIcs.EVCS.2023.4}, annote = {Keywords: Eelco Visser, Grace, Spoofax, syntax} }
Houda Boukham, Guido Wachsmuth, Toine Hartman, Hamza Boucherit, Oskar van Rest, Hassan Chafi, Sungpack Hong, Martijn Dwars, Arnaud Delamare, and Dalila Chiadmi. Spoofax at Oracle: Domain-Specific Language Engineering for Large-Scale Graph Analytics. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 5:1-5:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{boukham_et_al:OASIcs.EVCS.2023.5, author = {Boukham, Houda and Wachsmuth, Guido and Hartman, Toine and Boucherit, Hamza and van Rest, Oskar and Chafi, Hassan and Hong, Sungpack and Dwars, Martijn and Delamare, Arnaud and Chiadmi, Dalila}, title = {{Spoofax at Oracle: Domain-Specific Language Engineering for Large-Scale Graph Analytics}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {5:1--5:8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.5}, URN = {urn:nbn:de:0030-drops-177756}, doi = {10.4230/OASIcs.EVCS.2023.5}, annote = {Keywords: language workbench, domain-specific language} }
Jonathan Brouwer, Jesper Cockx, and Aron Zwaan. Dependently Typed Languages in Statix. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 6:1-6:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{brouwer_et_al:OASIcs.EVCS.2023.6, author = {Brouwer, Jonathan and Cockx, Jesper and Zwaan, Aron}, title = {{Dependently Typed Languages in Statix}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {6:1--6:8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.6}, URN = {urn:nbn:de:0030-drops-177769}, doi = {10.4230/OASIcs.EVCS.2023.6}, annote = {Keywords: Spoofax, Statix, Dependent Types, Scope Graphs, Calculus of Constructions} }
Jacques Carette, Spencer W. Smith, and Jason Balaci. Generating Software for Well-Understood Domains. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 7:1-7:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{carette_et_al:OASIcs.EVCS.2023.7, author = {Carette, Jacques and Smith, Spencer W. and Balaci, Jason}, title = {{Generating Software for Well-Understood Domains}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {7:1--7:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.7}, URN = {urn:nbn:de:0030-drops-177776}, doi = {10.4230/OASIcs.EVCS.2023.7}, annote = {Keywords: code generation, document generation, knowledge capture, software engineering} }
Douglas A. Creager and Hendrik van Antwerpen. Stack Graphs: Name Resolution at Scale. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 8:1-8:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{creager_et_al:OASIcs.EVCS.2023.8, author = {Creager, Douglas A. and van Antwerpen, Hendrik}, title = {{Stack Graphs: Name Resolution at Scale}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {8:1--8:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.8}, URN = {urn:nbn:de:0030-drops-177789}, doi = {10.4230/OASIcs.EVCS.2023.8}, annote = {Keywords: Scope graphs, name binding, code navigation} }
Jan de Muijnck-Hughes, Guillaume Allais, and Edwin Brady. Type Theory as a Language Workbench. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 9:1-9:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{demuijnckhughes_et_al:OASIcs.EVCS.2023.9, author = {de Muijnck-Hughes, Jan and Allais, Guillaume and Brady, Edwin}, title = {{Type Theory as a Language Workbench}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {9:1--9:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.9}, URN = {urn:nbn:de:0030-drops-177797}, doi = {10.4230/OASIcs.EVCS.2023.9}, annote = {Keywords: dependent types, language workbenches, idris2, dsl, edsl, intrinsically scoped, well typed, co-De Bruijn} }
Sebastian Erdweg. On Solving Solved Problems. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 10:1-10:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{erdweg:OASIcs.EVCS.2023.10, author = {Erdweg, Sebastian}, title = {{On Solving Solved Problems}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {10:1--10:6}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.10}, URN = {urn:nbn:de:0030-drops-177800}, doi = {10.4230/OASIcs.EVCS.2023.10}, annote = {Keywords: Research Methodology, Parsing, Type Checking} }
Michael Greenberg. Reasoning About Paths in the Interface Graph. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 11:1-11:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{greenberg:OASIcs.EVCS.2023.11, author = {Greenberg, Michael}, title = {{Reasoning About Paths in the Interface Graph}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {11:1--11:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.11}, URN = {urn:nbn:de:0030-drops-177812}, doi = {10.4230/OASIcs.EVCS.2023.11}, annote = {Keywords: interfaces, components, lambda calculus, dynamic analysis} }
Danny M. Groenewegen, Elmer van Chastelet, Max M. de Krieger, Daniel A. A. Pelsmaeker, and Craig Anslow. Conf Researchr: A Domain-Specific Content Management System for Managing Large Conference Websites. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 12:1-12:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{groenewegen_et_al:OASIcs.EVCS.2023.12, author = {Groenewegen, Danny M. and van Chastelet, Elmer and de Krieger, Max M. and Pelsmaeker, Daniel A. A. and Anslow, Craig}, title = {{Conf Researchr: A Domain-Specific Content Management System for Managing Large Conference Websites}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {12:1--12:6}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.12}, URN = {urn:nbn:de:0030-drops-177823}, doi = {10.4230/OASIcs.EVCS.2023.12}, annote = {Keywords: Conf Researchr, conferences, WebDSL, Eelco Visser} }
Danny M. Groenewegen, Elmer van Chastelet, Max M. de Krieger, and Daniel A. A. Pelsmaeker. Eating Your Own Dog Food: WebDSL Case Studies to Improve Academic Workflows. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 13:1-13:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{groenewegen_et_al:OASIcs.EVCS.2023.13, author = {Groenewegen, Danny M. and van Chastelet, Elmer and de Krieger, Max M. and Pelsmaeker, Daniel A. A.}, title = {{Eating Your Own Dog Food: WebDSL Case Studies to Improve Academic Workflows}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {13:1--13:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.13}, URN = {urn:nbn:de:0030-drops-177838}, doi = {10.4230/OASIcs.EVCS.2023.13}, annote = {Keywords: WebDSL, WebLab, Spoofax, Eelco Visser, education} }
Karl Trygve Kalleberg. Reflections on the Birth of Spoofax. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 14:1-14:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{kalleberg:OASIcs.EVCS.2023.14, author = {Kalleberg, Karl Trygve}, title = {{Reflections on the Birth of Spoofax}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {14:1--14:4}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.14}, URN = {urn:nbn:de:0030-drops-177842}, doi = {10.4230/OASIcs.EVCS.2023.14}, annote = {Keywords: Spoofax, Language Workbench, Program Transformation} }
Paul Klint. Eelco Visser as a Typographic Designer. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 15:1-15:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{klint:OASIcs.EVCS.2023.15, author = {Klint, Paul}, title = {{Eelco Visser as a Typographic Designer}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {15:1--15:5}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.15}, URN = {urn:nbn:de:0030-drops-177854}, doi = {10.4230/OASIcs.EVCS.2023.15}, annote = {Keywords: Typesetting formal specifications, Typographic design, personal recollection} }
James Koppel. Typed Multi-Language Strategy Combinators. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 16:1-16:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{koppel:OASIcs.EVCS.2023.16, author = {Koppel, James}, title = {{Typed Multi-Language Strategy Combinators}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {16:1--16:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.16}, URN = {urn:nbn:de:0030-drops-177865}, doi = {10.4230/OASIcs.EVCS.2023.16}, annote = {Keywords: program transformation, strategic programming} }
Ralf Lämmel. Eelco Visser - An Exceptional SLE Researcher. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 17:1-17:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{lammel:OASIcs.EVCS.2023.17, author = {L\"{a}mmel, Ralf}, title = {{Eelco Visser - An Exceptional SLE Researcher}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {17:1--17:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.17}, URN = {urn:nbn:de:0030-drops-177871}, doi = {10.4230/OASIcs.EVCS.2023.17}, annote = {Keywords: Eelco Visser, SLE, SLE conference, Software Language Engineering, SLEBoK} }
Julia Lawall. On the Origins of Coccinelle. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 18:1-18:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{lawall:OASIcs.EVCS.2023.18, author = {Lawall, Julia}, title = {{On the Origins of Coccinelle}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {18:1--18:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.18}, URN = {urn:nbn:de:0030-drops-177884}, doi = {10.4230/OASIcs.EVCS.2023.18}, annote = {Keywords: Linux kernel, Coccinelle, Stratego/XT, program transformation} }
Christian Lengauer and Jacques Carette. Eelco Visser as a Founding Member of the IFIP WG 2.11. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 19:1-19:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{lengauer_et_al:OASIcs.EVCS.2023.19, author = {Lengauer, Christian and Carette, Jacques}, title = {{Eelco Visser as a Founding Member of the IFIP WG 2.11}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {19:1--19:3}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.19}, URN = {urn:nbn:de:0030-drops-177891}, doi = {10.4230/OASIcs.EVCS.2023.19}, annote = {Keywords: IFIP WG 2.11} }
Markus Lepper and Baltasar Trancón y Widemann. Visitor Optimization Revisited - Realizing Traversal Graph Pruning by Runtime Bytecode Generation. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 20:1-20:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{lepper_et_al:OASIcs.EVCS.2023.20, author = {Lepper, Markus and Tranc\'{o}n y Widemann, Baltasar}, title = {{Visitor Optimization Revisited - Realizing Traversal Graph Pruning by Runtime Bytecode Generation}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {20:1--20:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.20}, URN = {urn:nbn:de:0030-drops-177906}, doi = {10.4230/OASIcs.EVCS.2023.20}, annote = {Keywords: Visitor Pattern, Generative Programming, Control Flow Analysis, Reflection, Runtime Code Generation} }
Peter D. Mosses. Using Spoofax to Support Online Code Navigation. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 21:1-21:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{mosses:OASIcs.EVCS.2023.21, author = {Mosses, Peter D.}, title = {{Using Spoofax to Support Online Code Navigation}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {21:1--21:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.21}, URN = {urn:nbn:de:0030-drops-177916}, doi = {10.4230/OASIcs.EVCS.2023.21}, annote = {Keywords: Spoofax language workbench, name resolution, precise code navigation} }
Jaro S. Reinders. Towards Modular Compilation Using Higher-Order Effects. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 22:1-22:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{reinders:OASIcs.EVCS.2023.22, author = {Reinders, Jaro S.}, title = {{Towards Modular Compilation Using Higher-Order Effects}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {22:1--22:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.22}, URN = {urn:nbn:de:0030-drops-177926}, doi = {10.4230/OASIcs.EVCS.2023.22}, annote = {Keywords: algebraic effects and handlers, higher-order effects, monadic semantics, modularity, compilation, nanopass} }
Elizabeth Scott and Adrian Johnstone. Analysing the SML97 Definition: Lexicalisation. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 23:1-23:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{scott_et_al:OASIcs.EVCS.2023.23, author = {Scott, Elizabeth and Johnstone, Adrian}, title = {{Analysing the SML97 Definition: Lexicalisation}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {23:1--23:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.23}, URN = {urn:nbn:de:0030-drops-177936}, doi = {10.4230/OASIcs.EVCS.2023.23}, annote = {Keywords: SML, language specification, lexicalisation, parsing, ambiguity} }
Friedrich Steimann. A Simply Numbered Lambda Calculus. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 24:1-24:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{steimann:OASIcs.EVCS.2023.24, author = {Steimann, Friedrich}, title = {{A Simply Numbered Lambda Calculus}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {24:1--24:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.24}, URN = {urn:nbn:de:0030-drops-177948}, doi = {10.4230/OASIcs.EVCS.2023.24}, annote = {Keywords: multiplicities, strings, lambda calculus, relational programming} }
Knut Anders Stokke, Mikhail Barash, and Jaakko Järvi. The Ultimate GUI Framework: Are We There Yet?. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 25:1-25:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{stokke_et_al:OASIcs.EVCS.2023.25, author = {Stokke, Knut Anders and Barash, Mikhail and J\"{a}rvi, Jaakko}, title = {{The Ultimate GUI Framework: Are We There Yet?}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {25:1--25:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.25}, URN = {urn:nbn:de:0030-drops-177956}, doi = {10.4230/OASIcs.EVCS.2023.25}, annote = {Keywords: Web frameworks, GUI specification, WebDSL, HotDrink, WarmDrink} }
Simon Thompson and Dániel Horpácsi. Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 26:1-26:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{thompson_et_al:OASIcs.EVCS.2023.26, author = {Thompson, Simon and Horp\'{a}csi, D\'{a}niel}, title = {{Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {26:1--26:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.26}, URN = {urn:nbn:de:0030-drops-177961}, doi = {10.4230/OASIcs.EVCS.2023.26}, annote = {Keywords: refactoring, generic, language independent, rewriting, substitution, API upgrade} }
Andrew Tolmach. Eelco Visser: The Oregon Connection. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 27:1-27:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{tolmach:OASIcs.EVCS.2023.27, author = {Tolmach, Andrew}, title = {{Eelco Visser: The Oregon Connection}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {27:1--27:6}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.27}, URN = {urn:nbn:de:0030-drops-177971}, doi = {10.4230/OASIcs.EVCS.2023.27}, annote = {Keywords: Eelco Visser, Stratego, scope graphs} }
Tijs van der Storm. Eelco Visser and IFIP WG 2.16. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 28:1-28:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{vanderstorm:OASIcs.EVCS.2023.28, author = {van der Storm, Tijs}, title = {{Eelco Visser and IFIP WG 2.16}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {28:1--28:3}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.28}, URN = {urn:nbn:de:0030-drops-177986}, doi = {10.4230/OASIcs.EVCS.2023.28}, annote = {Keywords: Eelco Visser, Language design, IFIP, working group} }
Tijs van der Storm. Semantics Engineering with Concrete Syntax. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 29:1-29:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{vanderstorm:OASIcs.EVCS.2023.29, author = {van der Storm, Tijs}, title = {{Semantics Engineering with Concrete Syntax}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {29:1--29:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.29}, URN = {urn:nbn:de:0030-drops-177991}, doi = {10.4230/OASIcs.EVCS.2023.29}, annote = {Keywords: Semantics engineering, syntax, parsing, reduction semantics} }
Eric Van Wyk. Context in Parsing: Techniques and Applications. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 30:1-30:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{vanwyk:OASIcs.EVCS.2023.30, author = {Van Wyk, Eric}, title = {{Context in Parsing: Techniques and Applications}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {30:1--30:10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.30}, URN = {urn:nbn:de:0030-drops-178001}, doi = {10.4230/OASIcs.EVCS.2023.30}, annote = {Keywords: Parsing, Generalized LR Parsing, Context-aware Scanning} }
Jurgen J. Vinju. Comparing Bottom-Up with Top-Down Parsing Architectures for the Syntax Definition Formalism from a Disambiguation Standpoint. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 31:1-31:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{vinju:OASIcs.EVCS.2023.31, author = {Vinju, Jurgen J.}, title = {{Comparing Bottom-Up with Top-Down Parsing Architectures for the Syntax Definition Formalism from a Disambiguation Standpoint}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {31:1--31:16}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.31}, URN = {urn:nbn:de:0030-drops-178018}, doi = {10.4230/OASIcs.EVCS.2023.31}, annote = {Keywords: parser generation, context-free grammars, GLR, GLL, algorithms, disambiguation} }
Aron Zwaan and Hendrik van Antwerpen. Scope Graphs: The Story so Far. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 32:1-32:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{zwaan_et_al:OASIcs.EVCS.2023.32, author = {Zwaan, Aron and van Antwerpen, Hendrik}, title = {{Scope Graphs: The Story so Far}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {32:1--32:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.32}, URN = {urn:nbn:de:0030-drops-178020}, doi = {10.4230/OASIcs.EVCS.2023.32}, annote = {Keywords: scope graph, name binding, reference resolution, type system, static semantics} }
Feedback for Dagstuhl Publishing