{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002140759,0.0007112483,0.0005646265,0.002350198,0.0009418255,0.002275961,0.001036985,0.0009311945,0.001314087],"category_scores_gemma":[0.00698551,0.0003933728,0.001616797,0.00087968,0.002355943,0.003552222,0.001297031,0.001512414,0.0002047354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001092665,"about_ca_system_score_gemma":0.001091618,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003985424,"about_ca_topic_score_gemma":0.001844776,"domain_scores_codex":[0.9972223,0.0007109538,0.0001672907,0.0004595909,0.001089199,0.0003506932],"domain_scores_gemma":[0.9938022,0.004531171,0.0004402532,0.0005070654,0.0006339727,0.00008540613],"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.0007126439,0.0002099003,0.00603426,0.0006392645,0.0001542115,0.001402378,0.001593574,0.1730359,0.04189594,0.5122813,0.002921641,0.2591192],"study_design_scores_gemma":[0.00004850843,0.00008688506,0.00113978,0.0001162359,0.0001450526,0.0002700345,0.000171442,0.5419388,0.02873052,0.4186321,0.008649628,0.00007103542],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02089623,0.0001968389,0.9760221,0.0002009395,0.00003231028,0.00005439814,0.00004381184,0.001193255,0.001360093],"genre_scores_gemma":[0.5837334,0.0005749813,0.4108379,0.0003132602,0.0001966215,0.0001481812,0.0002717061,0.0007421768,0.003181723],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003985424,"threshold_uncertainty_score":0.01132154,"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."}}