Gradual Security Types and Gradual Guarantees
Gradual Security Types and Gradual Guarantees
复制标题
渐进式保障类型和渐进式保障
DOI：
10.1109/csf51468.2021.00015
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Jia, Limin
中科院分区：
文献类型：
--
作者：
Bichhawat, Abhishek;McCall, McKenna;Jia, Limin
登录
查看更多内容
DOI：
10.1145/1111037.1111045
发表时间：
2006-01
期刊：
--
影响因子：
--
作者：
Sebastian Hunt;David Sands
通讯作者：
Sebastian Hunt;David Sands
带参考的渐进安全打字
DOI：
--
发表时间：
2013
期刊：
IEEE Computer Security Foundations Symposium
影响因子：
--
作者：
L. Fennell;Peter Thiemann
通讯作者：
Peter Thiemann
抽象渐进式打字
DOI：
--
发表时间：
2016
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Ronald Garcia;Alison M. Clark;É. Tanter
通讯作者：
É. Tanter
DOI：
10.1007/11547662_24
发表时间：
2005-09
期刊：
--
影响因子：
--
作者：
Tachio Terauchi;A. Aiken
通讯作者：
Tachio Terauchi;A. Aiken
渐进式信息流打字
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
Tim Disney;C. Flanagan
通讯作者：
C. Flanagan