Research data supporting "Dynamically Diagnosing Type Errors in Unsafe Code"

Name: Research data supporting "Dynamically Diagnosing Type Errors in Unsafe Code"
Creator: Apollo - University of Cambridge Repository
Published: 2017-01-11T09:45:17+08:00

DataCite Commons2024-12-13 更新2024-08-25 收录

代码分析

类型错误诊断

数据链接：

https://www.repository.cam.ac.uk/handle/1810/261804 数据链接链接失效反馈

官方服务：

资源简介：

Buildable source code of the libcrunch system and related codebases, within a Debian 8.5 (Jessie) distribution, packaged as a VirtualBox virtual machine image.

提供机构：

Apollo - University of Cambridge Repository

创建时间：

2017-01-11

Research data supporting "Dynamically Diagnosing Type Errors in Unsafe Code"

资源简介：

相关数据集