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 条
  • [1] Practical Inference of Nullability Types
    Karimipour, Nima
    Pham, Justin
    Clapp, Lazaro
    Sridharan, Manu
    PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023, 2023, : 1395 - 1406
  • [2] Practical type inference for arbitrary-rank types
    Jones, Simon Peyton
    Vytiniotis, Dimitrios
    Weirich, Stephanie
    Shields, Mark
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2007, 17 (01) : 1 - 82
  • [3] PRACTICAL INFERENCE
    VONWRIGHT, GH
    PHILOSOPHICAL REVIEW, 1963, 72 (02): : 159 - 179
  • [4] PRACTICAL MODALITIES, PRACTICAL INFERENCE AND PRACTICAL KNOWLEDGE
    APOSTEL, L
    COMMUNICATION AND COGNITION, 1976, 9 (3-4): : 173 - 218
  • [5] VARIETIES OF PRACTICAL INFERENCE
    CLARKE, DS
    SOUTHERN JOURNAL OF PHILOSOPHY, 1979, 17 (03): : 273 - 286
  • [6] Permissibility and practical inference
    Hanser, M
    ETHICS, 2005, 115 (03) : 443 - 470
  • [7] Bayesian Practical Inference
    Corradini, Antonella
    Galvan, Sergio
    FOUNDATIONS OF SCIENCE, 2025, 30 (01) : 1 - 17
  • [8] NOTION OF A PRACTICAL INFERENCE
    MILO, RD
    AMERICAN PHILOSOPHICAL QUARTERLY, 1976, 13 (01) : 13 - 21
  • [9] Imperative inference and practical rationality
    Harris, Daniel W.
    PHILOSOPHICAL STUDIES, 2022, 179 (04) : 1065 - 1090
  • [10] PRACTICAL CAUSAL INFERENCE FOR ECOPIDEMIOLOGISTS
    FOX, GA
    JOURNAL OF TOXICOLOGY AND ENVIRONMENTAL HEALTH, 1991, 33 (04): : 359 - 373
12345