{"id":"W2011458734","doi":"10.1145/1449764.1449790","title":"Enabling static analysis for partial java programs","year":2008,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":143,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Programming language; Source code; Java; Static analysis; Declaration; Static program analysis; Class (philosophy); Theoretical computer science; Software; Software development; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002339406,0.00006934359,0.0001215538,0.0001965177,0.0000899263,0.0000837213,0.0004552421,0.00002377017,0.00001656008],"category_scores_gemma":[0.0002699163,0.00005954111,0.00009812872,0.001201159,0.00002261358,0.0001859806,0.00008748087,0.00005412418,0.00002556624],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002585549,"about_ca_system_score_gemma":0.00005308262,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003937015,"about_ca_topic_score_gemma":0.000005132785,"domain_scores_codex":[0.9990097,0.00001395755,0.0001287861,0.0002535362,0.0002691267,0.0003249297],"domain_scores_gemma":[0.9990319,0.0003949005,0.00001695582,0.0003708975,0.00009017275,0.00009518869],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003271209,0.0006692715,0.6247958,0.0001755559,0.002049676,0.0001924939,0.005783723,0.07253993,0.0007367594,0.02894114,0.005793727,0.2582892],"study_design_scores_gemma":[0.0003659039,0.0001616951,0.01546746,0.000004276128,0.00003308235,0.000009647475,0.00001787243,0.9739684,0.002915011,0.0002806746,0.006548647,0.0002272765],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07766572,0.0000245535,0.9214869,0.0001652522,0.00006435614,0.0001793047,4.193459e-7,0.0003691241,0.00004434759],"genre_scores_gemma":[0.7878674,0.000003393936,0.2114196,0.00003070714,0.0000351786,0.00007243105,0.000003419663,0.000005540427,0.0005622736],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9014285,"threshold_uncertainty_score":0.2428016,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05940412544007045,"score_gpt":0.3003256130882066,"score_spread":0.2409214876481361,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}