{"id":"W2106916261","doi":"10.82308/51062","title":"Program analysis using binary decision diagrams","year":2005,"lang":"en","type":"article","venue":"eScholarship@McGill (McGill)","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":79,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Binary decision diagram; Programming language; Theoretical computer science; Call graph; Paddle; Java; Model checking; Program analysis; Context (archaeology); Data structure; Static analysis; AspectJ; Algorithm; Aspect-oriented programming; Software","routes":{"ca_aff":true,"ca_fund":true,"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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001605086,0.0005148849,0.0006489614,0.0007738959,0.0007556315,0.0001469231,0.001802889,0.0002797696,0.00002461852],"category_scores_gemma":[0.002015682,0.0005073416,0.0004524508,0.003732464,0.00008810701,0.002430738,0.00100707,0.0007221978,0.0001161327],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006362748,"about_ca_system_score_gemma":0.00002410338,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000258604,"about_ca_topic_score_gemma":0.00004440988,"domain_scores_codex":[0.9960085,0.0003929637,0.0007103185,0.001202447,0.0007649217,0.000920912],"domain_scores_gemma":[0.9962745,0.001256224,0.0002601809,0.001626861,0.0002309889,0.0003512276],"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.00001229663,0.0001534724,0.0001288408,0.00001101651,0.0001702737,0.00005049923,0.000004430242,0.209551,0.005670241,0.01645881,6.678306e-7,0.7677885],"study_design_scores_gemma":[0.003429418,0.001389065,0.01793238,0.0004156507,0.001487957,0.000351406,0.00009905235,0.467862,0.1331539,0.2413409,0.1258259,0.006712423],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.7193401,0.0003242953,0.2759762,0.00002768887,0.0005781093,0.0004403478,0.00003708258,0.002654734,0.0006214342],"genre_scores_gemma":[0.4513782,0.00003718836,0.5483311,0.00009292117,0.00002884757,0.0000381018,0.000005283787,0.00003651716,0.00005187909],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.761076,"threshold_uncertainty_score":0.9997378,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04274509796087857,"score_gpt":0.3065846110969189,"score_spread":0.2638395131360403,"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."}}