Published in: DARTS, Volume 5, Issue 2, Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Noah Van Es, Quentin Stiévenart, and Coen De Roover. Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact). In Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Dagstuhl Artifacts Series (DARTS), Volume 5, Issue 2, pp. 7:1-7:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{vanes_et_al:DARTS.5.2.7, author = {Van Es, Noah and Sti\'{e}venart, Quentin and De Roover, Coen}, title = {{Garbage-Free Abstract Interpretation Through Abstract Reference Counting}}, pages = {7:1--7:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2019}, volume = {5}, number = {2}, editor = {Van Es, Noah and Sti\'{e}venart, Quentin and De Roover, Coen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.7}, URN = {urn:nbn:de:0030-drops-107843}, doi = {10.4230/DARTS.5.2.7}, annote = {Keywords: static analysis, abstract interpretation, abstract garbage collection, reference counting} }
Published in: LIPIcs, Volume 134, 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Noah Van Es, Quentin Stiévenart, and Coen De Roover. Garbage-Free Abstract Interpretation Through Abstract Reference Counting. In 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 134, pp. 10:1-10:33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{vanes_et_al:LIPIcs.ECOOP.2019.10, author = {Van Es, Noah and Sti\'{e}venart, Quentin and De Roover, Coen}, title = {{Garbage-Free Abstract Interpretation Through Abstract Reference Counting}}, booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)}, pages = {10:1--10:33}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-111-5}, ISSN = {1868-8969}, year = {2019}, volume = {134}, editor = {Donaldson, Alastair F.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.10}, URN = {urn:nbn:de:0030-drops-108022}, doi = {10.4230/LIPIcs.ECOOP.2019.10}, annote = {Keywords: abstract interpretation, abstract garbage collection, reference counting} }
Published in: DARTS, Volume 3, Issue 2, Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017)
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, and Coen De Roover. Mailbox Abstractions for Static Analysis of Actor Programs (Artifact). In Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). Dagstuhl Artifacts Series (DARTS), Volume 3, Issue 2, pp. 11:1-11:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Article{stievenart_et_al:DARTS.3.2.11, author = {Sti\'{e}venart, Quentin and Nicolay, Jens and De Meuter, Wolfgang and De Roover, Coen}, title = {{Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)}}, pages = {11:1--11:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2017}, volume = {3}, number = {2}, editor = {Sti\'{e}venart, Quentin and Nicolay, Jens and De Meuter, Wolfgang and De Roover, Coen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.11}, URN = {urn:nbn:de:0030-drops-72920}, doi = {10.4230/DARTS.3.2.11}, annote = {Keywords: static analysis, abstraction, abstract interpretation, actors, mailbox} }
Published in: LIPIcs, Volume 74, 31st European Conference on Object-Oriented Programming (ECOOP 2017)
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, and Coen De Roover. Mailbox Abstractions for Static Analysis of Actor Programs. In 31st European Conference on Object-Oriented Programming (ECOOP 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 74, pp. 25:1-25:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{stievenart_et_al:LIPIcs.ECOOP.2017.25, author = {Sti\'{e}venart, Quentin and Nicolay, Jens and De Meuter, Wolfgang and De Roover, Coen}, title = {{Mailbox Abstractions for Static Analysis of Actor Programs}}, booktitle = {31st European Conference on Object-Oriented Programming (ECOOP 2017)}, pages = {25:1--25:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-035-4}, ISSN = {1868-8969}, year = {2017}, volume = {74}, editor = {M\"{u}ller, Peter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.25}, URN = {urn:nbn:de:0030-drops-72541}, doi = {10.4230/LIPIcs.ECOOP.2017.25}, annote = {Keywords: static analysis, abstraction, abstract interpretation, actors, mailbox} }