DARTS.1.1.4.pdf
- Filesize: 305 kB
- 2 pages
Document
Brand Objects for Nominal Typing (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Volume: DARTS, Volume 1 (ECOOP 2015)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Germany license
- Publication Date: 2015-10-30
Cite AsGet BibTex
Timothy Jones, Michael Homer, and James Noble. Brand Objects for Nominal Typing (Artifact). In Special Issue of the 29th European Conference on Object-Oriented Programming (ECOOP 2015). Dagstuhl Artifacts Series (DARTS), Volume 1, Issue 1, pp. 4:1-4:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
https://doi.org/10.4230/DARTS.1.1.4
https://doi.org/10.4230/DARTS.1.1.4
Artifact
darts-v001-i001-04-artifact-10d101b645becf411e242d0a04b9e614.tar.gz
(Filesize: 1.11 GB)
Abstract
In Brand Objects for Nominal Typing, we describe an implementation of a branding system for both runtime and static types. This artifact provides the extended form of Hopper, an interpreter for the Grace programming language, and extra modules which define both the dynamic objects and the modular static type checker. The extra modules extend the existing structural type checker in the provided version of Hopper, and are capable of statically checking code which interacts with statically determinable declarations of brand objects, including singleton brand constructors, brand sums, and dynamic variables which are known to contain some brand value at runtime. The dynamic brand objects extend this behaviour to the runtime, enforcing non-static contracts and allowing runtime type testing.
Keywords
- brands
- types
- structural
- nominal
- Grace
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads