Published in: DARTS, Volume 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Martin Kellogg, Narges Shadab, Manu Sridharan, and Michael D. Ernst. Accumulation Analysis (Artifact). In Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022). Dagstuhl Artifacts Series (DARTS), Volume 8, Issue 2, pp. 22:1-22:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Article{kellogg_et_al:DARTS.8.2.22, author = {Kellogg, Martin and Shadab, Narges and Sridharan, Manu and Ernst, Michael D.}, title = {{Accumulation Analysis (Artifact)}}, pages = {22:1--22:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2022}, volume = {8}, number = {2}, editor = {Kellogg, Martin and Shadab, Narges and Sridharan, Manu and Ernst, Michael D.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.8.2.22}, URN = {urn:nbn:de:0030-drops-162209}, doi = {10.4230/DARTS.8.2.22}, annote = {Keywords: Typestate, finite-state property} }
Published in: LIPIcs, Volume 222, 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Martin Kellogg, Narges Shadab, Manu Sridharan, and Michael D. Ernst. Accumulation Analysis. In 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 222, pp. 10:1-10:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{kellogg_et_al:LIPIcs.ECOOP.2022.10, author = {Kellogg, Martin and Shadab, Narges and Sridharan, Manu and Ernst, Michael D.}, title = {{Accumulation Analysis}}, booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)}, pages = {10:1--10:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-225-9}, ISSN = {1868-8969}, year = {2022}, volume = {222}, editor = {Ali, Karim and Vitek, Jan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.10}, URN = {urn:nbn:de:0030-drops-162381}, doi = {10.4230/LIPIcs.ECOOP.2022.10}, annote = {Keywords: Typestate, finite-state property} }
Published in: LIPIcs, Volume 152, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
Robin Cockett, Geoffrey Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon Plotkin, and Dorette Pronk. Reverse Derivative Categories. In 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 152, pp. 18:1-18:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{cockett_et_al:LIPIcs.CSL.2020.18, author = {Cockett, Robin and Cruttwell, Geoffrey and Gallagher, Jonathan and Lemay, Jean-Simon Pacaud and MacAdam, Benjamin and Plotkin, Gordon and Pronk, Dorette}, title = {{Reverse Derivative Categories}}, booktitle = {28th EACSL Annual Conference on Computer Science Logic (CSL 2020)}, pages = {18:1--18:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-132-0}, ISSN = {1868-8969}, year = {2020}, volume = {152}, editor = {Fern\'{a}ndez, Maribel and Muscholl, Anca}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2020.18}, URN = {urn:nbn:de:0030-drops-116611}, doi = {10.4230/LIPIcs.CSL.2020.18}, annote = {Keywords: Reverse Derivatives, Cartesian Reverse Differential Categories, Categorical Semantics, Cartesian Differential Categories, Dagger Categories, Automatic Differentiation} }
Published in: Dagstuhl Follow-Ups, Volume 2, Scientific Visualization: Interactions, Features, Metaphors (2011)
Patric Keller, Oliver Kreylos, Eric S. Cowgill, Louise H. Kellogg, and Martin Hering-Bertram. Construction of Implicit Surfaces from Point Clouds Using a Feature-based Approach. In Scientific Visualization: Interactions, Features, Metaphors. Dagstuhl Follow-Ups, Volume 2, pp. 129-143, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InCollection{keller_et_al:DFU.Vol2.SciViz.2011.129, author = {Keller, Patric and Kreylos, Oliver and Cowgill, Eric S. and Kellogg, Louise H. and Hering-Bertram, Martin}, title = {{Construction of Implicit Surfaces from Point Clouds Using a Feature-based Approach}}, booktitle = {Scientific Visualization: Interactions, Features, Metaphors}, pages = {129--143}, series = {Dagstuhl Follow-Ups}, ISBN = {978-3-939897-26-2}, ISSN = {1868-8977}, year = {2011}, volume = {2}, editor = {Hagen, Hans}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DFU.Vol2.SciViz.2011.129}, URN = {urn:nbn:de:0030-drops-33032}, doi = {10.4230/DFU.Vol2.SciViz.2011.129}, annote = {Keywords: 3D Point Clouds, Surface Reconstruction, Implicit Surfaces} }
Feedback for Dagstuhl Publishing