OASIcs, Volume 109
EVCS 2023, April 5, 2023, Delft, The Netherlands
Editors: Ralf Lämmel, Peter D. Mosses, and Friedrich Steimann
Published in: LIPIcs, Volume 313, 38th European Conference on Object-Oriented Programming (ECOOP 2024)
Ke Sun, Di Wang, Sheng Chen, Meng Wang, and Dan Hao. Formalizing, Mechanizing, and Verifying Class-Based Refinement Types. In 38th European Conference on Object-Oriented Programming (ECOOP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 313, pp. 39:1-39:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{sun_et_al:LIPIcs.ECOOP.2024.39, author = {Sun, Ke and Wang, Di and Chen, Sheng and Wang, Meng and Hao, Dan}, title = {{Formalizing, Mechanizing, and Verifying Class-Based Refinement Types}}, booktitle = {38th European Conference on Object-Oriented Programming (ECOOP 2024)}, pages = {39:1--39:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-341-6}, ISSN = {1868-8969}, year = {2024}, volume = {313}, editor = {Aldrich, Jonathan and Salvaneschi, Guido}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.39}, URN = {urn:nbn:de:0030-drops-208881}, doi = {10.4230/LIPIcs.ECOOP.2024.39}, annote = {Keywords: Refinement Types, Program Verification, Object-oriented Programming} }
Published in: LIPIcs, Volume 313, 38th European Conference on Object-Oriented Programming (ECOOP 2024)
Aron Zwaan and Casper Bach Poulsen. Defining Name Accessibility Using Scope Graphs. In 38th European Conference on Object-Oriented Programming (ECOOP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 313, pp. 47:1-47:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{zwaan_et_al:LIPIcs.ECOOP.2024.47, author = {Zwaan, Aron and Bach Poulsen, Casper}, title = {{Defining Name Accessibility Using Scope Graphs}}, booktitle = {38th European Conference on Object-Oriented Programming (ECOOP 2024)}, pages = {47:1--47:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-341-6}, ISSN = {1868-8969}, year = {2024}, volume = {313}, editor = {Aldrich, Jonathan and Salvaneschi, Guido}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.47}, URN = {urn:nbn:de:0030-drops-208961}, doi = {10.4230/LIPIcs.ECOOP.2024.47}, annote = {Keywords: access modifier, visibility, scope graph, name resolution} }
Published in: LIPIcs, Volume 299, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)
Kostia Chardonnet, Louis Lemonnier, and Benoît Valiron. Semantics for a Turing-Complete Reversible Programming Language with Inductive Types. In 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 299, pp. 19:1-19:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{chardonnet_et_al:LIPIcs.FSCD.2024.19, author = {Chardonnet, Kostia and Lemonnier, Louis and Valiron, Beno\^{i}t}, title = {{Semantics for a Turing-Complete Reversible Programming Language with Inductive Types}}, booktitle = {9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)}, pages = {19:1--19:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-323-2}, ISSN = {1868-8969}, year = {2024}, volume = {299}, editor = {Rehof, Jakob}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2024.19}, URN = {urn:nbn:de:0030-drops-203487}, doi = {10.4230/LIPIcs.FSCD.2024.19}, annote = {Keywords: Reversible programming, functional programming, Computability, Denotational Semantics} }
Published in: OASIcs, Volume 109, Eelco Visser Commemorative Symposium (EVCS 2023)
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} }
Published in: OASIcs, Volume 109, Eelco Visser Commemorative Symposium (EVCS 2023)
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} }
Published in: OASIcs, Volume 109, Eelco Visser Commemorative Symposium (EVCS 2023)
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} }
Published in: Dagstuhl Reports, Volume 7, Issue 8 (2018)
Benoît Combemale, Ralf Lämmel, and Eric Van Wyk. SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342). In Dagstuhl Reports, Volume 7, Issue 8, pp. 45-54, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@Article{combemale_et_al:DagRep.7.8.45, author = {Combemale, Beno\^{i}t and L\"{a}mmel, Ralf and Van Wyk, Eric}, title = {{SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342)}}, pages = {45--54}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2018}, volume = {7}, number = {8}, editor = {Combemale, Beno\^{i}t and L\"{a}mmel, Ralf and Van Wyk, Eric}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.8.45}, URN = {urn:nbn:de:0030-drops-84296}, doi = {10.4230/DagRep.7.8.45}, annote = {Keywords: body of knowledge, language design and implementation, metaprogramming, software languages} }
Published in: Dagstuhl Manifestos, Volume 6, Issue 1 (2017)
Alice Allen, Cecilia Aragon, Christoph Becker, Jeffrey Carver, Andrei Chis, Benoit Combemale, Mike Croucher, Kevin Crowston, Daniel Garijo, Ashish Gehani, Carole Goble, Robert Haines, Robert Hirschfeld, James Howison, Kathryn Huff, Caroline Jay, Daniel S. Katz, Claude Kirchner, Katie Kuksenok, Ralf Lämmel, Oscar Nierstrasz, Matt Turk, Rob van Nieuwpoort, Matthew Vaughn, and Jurgen J. Vinju. Engineering Academic Software (Dagstuhl Perspectives Workshop 16252). In Dagstuhl Manifestos, Volume 6, Issue 1, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Article{allen_et_al:DagMan.6.1.1, author = {Allen, Alice and Aragon, Cecilia and Becker, Christoph and Carver, Jeffrey and Chis, Andrei and Combemale, Benoit and Croucher, Mike and Crowston, Kevin and Garijo, Daniel and Gehani, Ashish and Goble, Carole and Haines, Robert and Hirschfeld, Robert and Howison, James and Huff, Kathryn and Jay, Caroline and Katz, Daniel S. and Kirchner, Claude and Kuksenok, Katie and L\"{a}mmel, Ralf and Nierstrasz, Oscar and Turk, Matt and van Nieuwpoort, Rob and Vaughn, Matthew and Vinju, Jurgen J.}, title = {{Engineering Academic Software (Dagstuhl Perspectives Workshop 16252)}}, pages = {1--20}, journal = {Dagstuhl Manifestos}, ISSN = {2193-2433}, year = {2017}, volume = {6}, number = {1}, editor = {Allen, Alice and Aragon, Cecilia and Becker, Christoph and Carver, Jeffrey and Chis, Andrei and Combemale, Benoit and Croucher, Mike and Crowston, Kevin and Garijo, Daniel and Gehani, Ashish and Goble, Carole and Haines, Robert and Hirschfeld, Robert and Howison, James and Huff, Kathryn and Jay, Caroline and Katz, Daniel S. and Kirchner, Claude and Kuksenok, Katie and L\"{a}mmel, Ralf and Nierstrasz, Oscar and Turk, Matt and van Nieuwpoort, Rob and Vaughn, Matthew and Vinju, Jurgen J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagMan.6.1.1}, URN = {urn:nbn:de:0030-drops-71468}, doi = {10.4230/DagMan.6.1.1}, annote = {Keywords: Academic software, Research software, Software citation, Software sustainability} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
James R. Cordy, Ralf Lämmel, and Andreas Winter. 05161 Executive Summary – Transformation Techniques in Software Engineering. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{cordy_et_al:DagSemProc.05161.1, author = {Cordy, James R. and L\"{a}mmel, Ralf and Winter, Andreas}, title = {{05161 Executive Summary – Transformation Techniques in Software Engineering}}, booktitle = {Transformation Techniques in Software Engineering}, pages = {1--24}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5161}, editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.1}, URN = {urn:nbn:de:0030-drops-4978}, doi = {10.4230/DagSemProc.05161.1}, annote = {Keywords: Program transformation, transformational programming, generative programming, generative language technology, automated software testing, engineering of metamodels, engineering for XML schemas, engineering of data models} }
Feedback for Dagstuhl Publishing