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 条
  • [21] Type inference with constrained types
    Univ of South Australia
    Theor Pract Object Syst, 1 (35-55):
  • [22] EFFICIENT INFERENCE OF PARTIAL TYPES
    KOZEN, D
    PALSBERG, J
    SCHWARTZBACH, MI
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1994, 49 (02) : 306 - 324
  • [23] Efficient inference of partial types
    Kozen, Dexter
    Palsberg, Jens
    Schwartzbach, Michael I.
    Journal of Computer and System Sciences, 1994, 49 (02): : 306 - 324
  • [24] EFFICIENT INFERENCE OF OBJECT TYPES
    PALSBERG, J
    INFORMATION AND COMPUTATION, 1995, 123 (02) : 198 - 209
  • [25] Practical Affine Types
    Tov, Jesse A.
    Pucella, Riccardo
    POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 447 - 458
  • [26] Practical Affine Types
    Tov, Jesse A.
    Pucella, Riccardo
    ACM SIGPLAN NOTICES, 2011, 46 (01) : 447 - 458
  • [27] A practical algorithm for network topology inference
    Marinakis, Dimitri
    Dudek, Gregory
    2006 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), VOLS 1-10, 2006, : 3108 - +
  • [28] THE FPL MODEL AND PRACTICAL INFERENCE - DISCUSSION
    POSTOW, BC
    PHILOSOPHY OF SCIENCE, 1989, 56 (01) : 165 - 170
  • [29] Practical inference control for data cubes
    Lu, Haibing
    Li, Yingjiu
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2008, 5 (02) : 87 - 98
  • [30] Stable and Practical AS Relationship Inference with ProbLink
    Jin, Yuchen
    Scott, Colin
    Dhamdhere, Amogh
    Giotsas, Vasileios
    Krishnamurthy, Arvind
    Shenker, Scott
    PROCEEDINGS OF THE 16TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION, 2019, : 581 - 597
12345