{"id":"W3014903559","doi":"10.1145/1449955.1449790","title":"Enabling static analysis for partial java programs","year":2008,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Software Engineering Research","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Programming language; Java; Source code; Static analysis; Partial evaluation; Class (philosophy); Type inference; Theoretical computer science; Inference; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003804476,0.001014261,0.001337815,0.002967836,0.001349565,0.002573409,0.002166219,0.001051112,0.002496382],"category_scores_gemma":[0.02660601,0.001258822,0.00133586,0.002399681,0.001946639,0.003903724,0.002989615,0.001570841,0.001040316],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001050098,"about_ca_system_score_gemma":0.003252739,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00754783,"about_ca_topic_score_gemma":0.01136534,"domain_scores_codex":[0.995616,0.001149902,0.0003200774,0.0007531111,0.00170642,0.0004544727],"domain_scores_gemma":[0.9756378,0.01405996,0.00180728,0.005664486,0.002509024,0.0003214724],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008047699,0.0003662948,0.02612746,0.000868899,0.0001926196,0.0009156134,0.003616145,0.1201655,0.09434258,0.05606057,0.01016791,0.6863717],"study_design_scores_gemma":[0.00005198115,0.0001354716,0.004582157,0.0001245727,0.0001247252,0.0004652895,0.000390344,0.8468056,0.08143999,0.05121037,0.01454975,0.000119815],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0618417,0.0001238576,0.8965636,0.0001455569,0.00002185391,0.00009197718,0.0003898666,0.03946181,0.001359683],"genre_scores_gemma":[0.412351,0.0001731615,0.5799899,0.0001110746,0.00004453399,0.000153146,0.00152266,0.004097846,0.001556664],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00754783,"threshold_uncertainty_score":0.0201202,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06896249739321578,"score_gpt":0.3043800919129288,"score_spread":0.235417594519713,"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."}}