{"id":"W1724049288","doi":"10.1109/ccece.2003.1226153","title":"Control flow analysis in presence of exceptions for Java","year":2004,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Control flow; Control flow graph; Java; Control flow analysis; Process (computing); Static analysis; Programming language; Representation (politics); Program analysis; Call graph; Key (lock); Data-flow analysis; Process control; Control (management); Theoretical computer science; Data flow diagram; Operating system; Database; 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.0002490385,0.00005372862,0.0001682554,0.0001467064,0.00002836705,0.00003464961,0.0003443037,0.0000330051,0.00001152923],"category_scores_gemma":[0.0000406746,0.00004144855,0.0001086584,0.0006450356,0.00002421945,0.0001487947,0.00003010463,0.00002669338,0.000009721193],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001830071,"about_ca_system_score_gemma":0.00003641144,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007770658,"about_ca_topic_score_gemma":0.001304056,"domain_scores_codex":[0.9993377,0.00002187297,0.0001934948,0.0001808112,0.0001175288,0.0001485588],"domain_scores_gemma":[0.9994827,0.00006646541,0.00005404131,0.0002880081,0.00007459568,0.00003417175],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005793014,0.000168569,0.01593852,0.00002241704,0.0001289981,0.000002617397,0.0009496814,0.02825303,0.0003132608,0.9375985,0.0001127459,0.01650593],"study_design_scores_gemma":[0.005512481,0.0005483448,0.06139645,0.00001020799,0.0001982205,0.000006489554,0.0002480108,0.6942514,0.00266992,0.2303363,0.004291447,0.0005307305],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003004047,0.00003683398,0.994958,0.0002469399,0.00008683895,0.0002466493,0.000001084711,0.00004041162,0.001379124],"genre_scores_gemma":[0.9690593,0.000001356754,0.03057254,0.00004043233,0.00002006888,0.00004081957,0.000001330989,0.000001684333,0.0002624733],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9660553,"threshold_uncertainty_score":0.1690223,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01998744868585087,"score_gpt":0.2612073061433279,"score_spread":0.241219857457477,"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."}}