DARTS, Volume 10, Issue 2
Editors: Karine Even-Mendoza and Raphaël Monat
Published in: LIPIcs, Volume 313, 38th European Conference on Object-Oriented Programming (ECOOP 2024)
Luís Carvalho and João Costa Seco. A Language-Based Version Control System for Python. In 38th European Conference on Object-Oriented Programming (ECOOP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 313, pp. 9:1-9:27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{carvalho_et_al:LIPIcs.ECOOP.2024.9, author = {Carvalho, Lu{\'\i}s and Costa Seco, Jo\~{a}o}, title = {{A Language-Based Version Control System for Python}}, booktitle = {38th European Conference on Object-Oriented Programming (ECOOP 2024)}, pages = {9:1--9:27}, 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.9}, URN = {urn:nbn:de:0030-drops-208586}, doi = {10.4230/LIPIcs.ECOOP.2024.9}, annote = {Keywords: Software evolution, type theory} }
Published in: LIPIcs, Volume 313, 38th European Conference on Object-Oriented Programming (ECOOP 2024)
Senxi Li, Tetsuro Yamazaki, and Shigeru Chiba. InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference. In 38th European Conference on Object-Oriented Programming (ECOOP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 313, pp. 23:1-23:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{li_et_al:LIPIcs.ECOOP.2024.23, author = {Li, Senxi and Yamazaki, Tetsuro and Chiba, Shigeru}, title = {{InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference}}, booktitle = {38th European Conference on Object-Oriented Programming (ECOOP 2024)}, pages = {23:1--23:28}, 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.23}, URN = {urn:nbn:de:0030-drops-208728}, doi = {10.4230/LIPIcs.ECOOP.2024.23}, annote = {Keywords: Domain Specific Languages, Compilation, Static Analysis, Type Inference, Constraint Solving, SMT Solver} }
Published in: DARTS, Volume 10, Issue 2, Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024)
Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024). Dagstuhl Artifacts Series (DARTS), Volume 10, Issue 2, pp. 0:i-0:xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{evenmendoza_et_al:DARTS.10.2.0, author = {Even-Mendoza, Karine and Monat, Rapha\"{e}l}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, pages = {0:i--0:xii}, journal = {Dagstuhl Artifacts Series}, ISBN = {978-3-95977-342-3}, ISSN = {2509-8195}, year = {2024}, volume = {10}, number = {2}, editor = {Even-Mendoza, Karine and Monat, Rapha\"{e}l}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.0}, URN = {urn:nbn:de:0030-drops-208982}, doi = {10.4230/DARTS.10.2.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Raphaël Monat, Abdelraouf Ouadjaout, and Antoine Miné. Static Type Analysis by Abstract Interpretation of Python Programs. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 17:1-17:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{monat_et_al:LIPIcs.ECOOP.2020.17, author = {Monat, Rapha\"{e}l and Ouadjaout, Abdelraouf and Min\'{e}, Antoine}, title = {{Static Type Analysis by Abstract Interpretation of Python Programs}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {17:1--17:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-154-2}, ISSN = {1868-8969}, year = {2020}, volume = {166}, editor = {Hirschfeld, Robert and Pape, Tobias}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.17}, URN = {urn:nbn:de:0030-drops-131748}, doi = {10.4230/LIPIcs.ECOOP.2020.17}, annote = {Keywords: Formal Methods, Static Analysis, Abstract Interpretation, Type Analysis, Dynamic Programming Language, Python Semantics} }
Published in: DARTS, Volume 6, Issue 2, Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Raphaël Monat, Abdelraouf Ouadjaout, and Antoine Miné. Static Type Analysis by Abstract Interpretation of Python Programs (Artifact). In Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020). Dagstuhl Artifacts Series (DARTS), Volume 6, Issue 2, pp. 11:1-11:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@Article{monat_et_al:DARTS.6.2.11, author = {Monat, Rapha\"{e}l and Ouadjaout, Abdelraouf and Min\'{e}, Antoine}, title = {{Static Type Analysis by Abstract Interpretation of Python Programs (Artifact)}}, pages = {11:1--11:6}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2020}, volume = {6}, number = {2}, editor = {Monat, Rapha\"{e}l and Ouadjaout, Abdelraouf and Min\'{e}, Antoine}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.11}, URN = {urn:nbn:de:0030-drops-132082}, doi = {10.4230/DARTS.6.2.11}, annote = {Keywords: Formal Methods, Static Analysis, Abstract Interpretation, Type Analysis, Dynamic Programming Language, Python Semantics} }
Feedback for Dagstuhl Publishing