paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Corrigendum to “Type-driven Gradual Security with References,” by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16

勘误：Toro 等人的《带引用的类型驱动渐进安全》，ACM Transactions on Programming Languages and Systems (TOPLAS) 第 40 卷第 4 期，文章号 16
TOPLAS 42(2)2020匹配度 1/10 · 该文是一篇关于类型驱动渐进安全与引用的勘误，没有新研究内容或摘要，且主题属于类型系统/安全，与用户关注的静态分析、LLM/Agent、浮点程序分析及贝叶斯程序分析均无直接关联。引用 0 inbox
toro
安全与隐私类型系统
dblp: 2026-09-10crossref: 2026-09-10

AI 速览

一句话：对《带引用的类型驱动渐进安全》一文的勘误，未提供摘要或新研究内容。

本条目是对 Toro 等人发表于 ACM Transactions on Programming Languages and Systems (TOPLAS) 第 40 卷第 4 期、文章号 16 的论文《Type-driven Gradual Security with References》的勘误（Corrigendum）。所提供的元数据未包含摘要，因此无法从摘要中提取研究问题、方法或评估结果。该条目的性质是对原论文中可能存在的错误、遗漏或排版问题进行更正；除标题、作者与出处外，没有可依据的正文信息，故不能进一步概括其技术贡献或实验评估。

问题
原论文涉及带引用的类型驱动渐进安全；本勘误条目本身没有摘要，无法确定具体更正的问题。
方法
勘误说明或更正，具体更正内容未在给定信息中提供。
评估
无摘要可用，无法评估其方法或结果；仅能确认期刊出处与文章编号。
原文摘要（Abstract）

No abstract available.

链接与引用

DOI 原文 · PDF（开放获取） · DBLP

BibTeX 
@article{ToroGT20,
  title = {Corrigendum to “Type-driven Gradual Security with References,” by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16},
  author = {toro},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {42},
  number = {2},
  year = {2020},
  doi = {10.1145/3387725}
}