DARTS.10.2.14.pdf
- Filesize: 457 kB
- 2 pages
Document
Generalizing Shape Analysis with Gradual Types (Artifact)
Authors
Zeina Migeed 
,
Jens Palsberg
-
Part of:
Issue:
Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024)
Volume: DARTS, Volume 10 (ECOOP 2024)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2024-09-12
Artifact Description
Document Identifiers
Author Details
Cite AsGet BibTex
Zeina Migeed and Jens Palsberg. Generalizing Shape Analysis with Gradual Types (Artifact). In Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024). Dagstuhl Artifacts Series (DARTS), Volume 10, Issue 2, pp. 14:1-14:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/DARTS.10.2.14
https://doi.org/10.4230/DARTS.10.2.14
Artifact
DARTS-10-2-14-artifact-560e9e3bfc86c7b557515c734ea28218.tar.zip
(Filesize: 7.4 GB)
Artifact Evaluation Policy
The artifact has been evaluated as described in the ECOOP 2024 Call for Artifacts and the ACM Artifact Review and Badging Policy.
Abstract
This is the artifact for the conference article below.
Subject Classification
ACM Subject Classification
- Software and its engineering → Software notations and tools
- Software and its engineering → General programming languages
Keywords
- Gradual Types
- Type Theory
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads