DARTS.6.2.10.pdf
- Filesize: 291 kB
- 2 pages
Document
Blame for Null (Artifact)
Authors
Abel Nieto 
,
Gregor Richards ,
Ondřej Lhoták
-
Part of:
Issue:
Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Volume: DARTS, Volume 6 (ECOOP 2020)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2020-11-06
Artifact Description
Document Identifiers
Author Details
Acknowledgements
We would like to thank the anonymous reviewers for their valuable feedback.
Cite As Get BibTex
Abel Nieto, Marianna Rapoport, Gregor Richards, and Ondřej Lhoták. Blame for Null (Artifact). In Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020). Dagstuhl Artifacts Series (DARTS), Volume 6, Issue 2, pp. 10:1-10:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
https://doi.org/10.4230/DARTS.6.2.10
Artifact
DARTS-6-2-10-artifact-0488c9d847dc6c4508e1e049f6768e9a.zip
(Filesize: 6.39 GB)
MD5 Sum:
0488c9d847dc6c4508e1e049f6768e9a
(Get MD5 Sum)
Abstract
This artifact is a companion to the paper "Blame for Null", where we formalize multiple calculi to reason about the interoperability between languages where nullability is explicit and those where nullability is implicit. Our main result is a theorem that states that nullability errors can always be blamed on terms with less-precise typing; that is, terms typed as implicitly nullable. We summarize our result with the slogan explicitly nullable programs can't be blamed. The artifact consists of a mechanized Coq proof of the results presented in the paper.
Subject Classification
ACM Subject Classification
- Software and its engineering → General programming languages
- Theory of computation → Type theory
- Software and its engineering → Interoperability
- Theory of computation → Operational semantics
Keywords
- nullability
- type systems
- blame calculus
- gradual typing
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads