default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th NSAD@SAS 2024: Pasadena, CA, USA
- Vincenzo Arceri
, Michele Pasqua:
Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2024, Pasadena, CA, USA, 22 October 2024. ACM 2024, ISBN 979-8-4007-1217-3 - Caterina Urban:
Abstract Domains for Machine Learning Verification (Keynote). 1 - Rebecca Ghidini, Julian Erhard, Michael Schwarz, Helmut Seidl:
C-2PO: A Weakly Relational Pointer Domain: "These Are Not the Memory Cells You Are Looking For". 2-9 - Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, Agostino Cortesi:
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables. 10-17 - Greta Dolcetti, Agostino Cortesi, Caterina Urban, Enea Zaffanella:
Towards a High Level Linter for Data Science. 18-25 - Anthony Dario, Samuel D. Pollard:
A Step-Function Abstract Domain for Granular Floating-Point Error Analysis. 26-33 - Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni:
Abstracting Entanglement. 34-41
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-09 22:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
