Practical Inference of Nullability Types

被引：0
|
作者：
Karimipour, Nima [1 ]
Pham, Justin [1 ]
Clapp, Lazaro [2 ]
Sridharan, Manu [1 ]
机构：
[1] University of California, Riverside, Riverside,CA, United States
[2] Uber Technologies, San Francisco,CA, United States
来源：
ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering | 2023年
关键词：
Engineering Village;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Automatic inference - Black boxes - Inference - Java program - Null safety - Pluggable type system - Type checker - Type qualifiers - Type systems - Typechecking
引用
收藏
页码：1395 / 1406
相关论文
共 50 条
  • [31] A PRACTICAL FORMALISM FOR IMPRECISE INFERENCE CONTROL
    HALE, J
    THREET, J
    SHENOI, S
    DATABASE SECURITY, VIII: STATUS AND PROSPECTS, 1994, 60 : 139 - 156
  • [32] PRACTICAL INFERENCE AND THE IS-OUGHT QUESTION
    HARTOGH, GD
    JOURNAL OF VALUE INQUIRY, 1980, 14 (02): : 129 - 147
  • [33] Practical Loss Inference in Uncertain Networks
    Yu, Xinlei
    Ye, Yuqi
    Wang, Jing
    Qiao, Yan
    2017 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2017, : 596 - 601
  • [34] SO-CALLED PRACTICAL INFERENCE
    WRIGHT, GHV
    ACTA SOCIOLOGICA, 1972, 15 (01) : 39 - &
  • [35] A PRACTICAL SOLUTION FOR LINEAR INFERENCE COMPUTATIONS
    SCHLAX, M
    OLDENBURG, DW
    GEOPHYSICAL JOURNAL OF THE ROYAL ASTRONOMICAL SOCIETY, 1985, 83 (02): : 331 - 345
  • [36] Practical passive lossy link inference
    Batsakis, A
    Malik, T
    Terzis, A
    PASSIVE AND ACTIVE NETWORK MEASUREMENT, PROCEEDINGS, 2005, 3431 : 362 - 367
  • [37] Boxy types: Inference for higher-rank types and impredicativity
    Vytiniotis, Dimitrios
    Weirich, Stephanie
    Jones, Simon Peyton
    ACM SIGPLAN NOTICES, 2006, 41 (09) : 251 - 262
  • [38] Type inference for nested self types
    Bono, V
    Tiuryn, J
    Urzyczyn, P
    TYPES FOR PROOFS AND PROGRAMS, 2004, 3085 : 99 - 114
  • [39] TYPE INFERENCE FOR PARTIAL TYPES IS DECIDABLE
    OKEEFE, PM
    WAND, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 582 : 408 - 417
  • [40] Dynamic Inference of Static Types for Ruby
    An, Jong-hoon
    Chaudhuri, Avik
    Foster, Jeffrey S.
    Hicks, Michael
    POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 459 - 471
12345