Gradual Program Analysis for Null Pointers
Gradual Program Analysis for Null Pointers
复制标题
空指针的逐步程序分析
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Sunshine, Joshua
中科院分区：
文献类型：
--
作者：
Estep, Sam;Wise, Jenna;Aldrich, Jonathan;Tanter, Éric;Bader, Johannes;Sunshine, Joshua
登录
查看更多内容
抽象渐进式打字
DOI：
--
发表时间：
2016
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Ronald Garcia;Alison M. Clark;É. Tanter
通讯作者：
É. Tanter
Grannullar：Java 的渐进可为空类型
DOI：
10.1145/3033019.3033032
发表时间：
2017
期刊：
Proceedings of the 26th International Conference on Compiler Construction
影响因子：
--
作者：
D. Brotherston;Werner Dietl;Ondřej Lhoták
通讯作者：
Ondřej Lhoták
逐步打字的细化标准
DOI：
--
发表时间：
2015
期刊：
Summit on Advances in Programming Languages
影响因子：
--
作者：
Jeremy G. Siek;Michael M. Vitousek;M. Cimini;J. Boyland
通讯作者：
J. Boyland
渐进式程序验证
DOI：
--
发表时间：
2018
期刊：
International Conference on Verification, Model Checking and Abstract Interpretation
影响因子：
--
作者：
J. Bader;Jonathan Aldrich;É. Tanter
通讯作者：
É. Tanter
java 实用的可插入类型
DOI：
--
发表时间：
2008
期刊：
International Symposium on Software Testing and Analysis
影响因子：
--
作者：
Matthew M. Papi;Mahmood Ali;Telmo Luis Correa;J. Perkins;Michael D. Ernst
通讯作者：
Michael D. Ernst