基本信息
文件名称：基于类型的不正确性推理.pdf
文件大小：651.89 KB
总页数：4 页
更新时间：2025-12-19
总字数：约1.38万字
文档摘要
基于类型的不正确性推理
ZheZhouBenjaminDelawareSureshJagannathan
PurdueUniversityPurdueUniversityPurdueUniversity
zhou956@bendy@suresh@
摘要不同，在标准的精化类型系统中，一个精