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 条
  • [41] SCHEME FOR THE AUTOMATIC INFERENCE OF VARIABLE TYPES
    KAPLAN, MA
    ULLMAN, JD
    JOURNAL OF THE ACM, 1980, 27 (01) : 128 - 145
  • [42] Dynamic inference of polymorphic lock types
    Rose, J
    Swamy, N
    Hicks, M
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 58 (03) : 366 - 383
  • [43] An Automatic Inference of Minimal Security Types
    Bollmann, Dominik
    Lortz, Steffen
    Mantel, Heiko
    Starostin, Artem
    INFORMATION SYSTEMS SECURITY, (ICISS 2015), 2015, 9478 : 395 - 415
  • [44] Type inference for variant object types
    Bugliesi, M
    Pericás-Geertsen, SM
    INFORMATION AND COMPUTATION, 2002, 177 (01) : 2 - 27
  • [45] INFERENCE OF POLYMORPHIC TYPES FOR LOGIC PROGRAMS
    PYO, CW
    REDDY, US
    LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 1115 - 1132
  • [46] Dynamic Inference of Static Types for Ruby
    An, Jong-Hoon
    Chaudhuri, Avik
    Foster, Jeffrey S.
    Hicks, Michael
    ACM SIGPLAN NOTICES, 2011, 46 (01) : 459 - 471
  • [47] Function types in complete type inference
    Widera, M
    Beierle, C
    TRENDS IN FUNCTIONAL PROGRAMMING 3, 2002, : 111 - 122
  • [48] Practical Membership Inference Attack Against Collaborative Inference in Industrial IoT
    Chen, Hanxiao
    Li, Hongwei
    Dong, Guishan
    Hao, Meng
    Xu, Guowen
    Huang, Xiaoming
    Liu, Zhe
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2022, 18 (01) : 477 - 487
  • [49] Practical Optional Types for Clojure
    Bonnaire-Sergeant, Ambrose
    Davies, Rowan
    Tobin-Hochstadt, Sam
    PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), 2016, 9632 : 68 - 94
  • [50] PRACTICAL TYPES OF SANITARY PRIVIES
    Stiles, C. W.
    AMERICAN JOURNAL OF PUBLIC HEALTH, 1920, 10 (01) : 48 - 52
12345