{"id":"W1846157972","doi":"10.1007/978-3-642-11970-5_8","title":"Practical Extensions to the IFDS Algorithm","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":60,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Dataflow; Computer science; Extension (predicate logic); Algorithm; Subroutine; Context (archaeology); Data-flow analysis; Distributive property; Class (philosophy); Epigraph; Theoretical computer science; Programming language; Data flow diagram; Mathematics; Mathematical optimization; 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.002906818,0.001131271,0.001170823,0.001667806,0.001449002,0.003109377,0.002992826,0.001377261,0.03409435],"category_scores_gemma":[0.009691382,0.0007136994,0.001546923,0.002026208,0.002191924,0.006632198,0.004851113,0.00337478,0.007785298],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001596004,"about_ca_system_score_gemma":0.001448948,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001545697,"about_ca_topic_score_gemma":0.002746735,"domain_scores_codex":[0.9972958,0.0009856509,0.0001809151,0.0004684954,0.0007552558,0.0003138757],"domain_scores_gemma":[0.9955947,0.001513395,0.0001147942,0.002007726,0.0005879677,0.0001814424],"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.0004991003,0.0001354674,0.0005013482,0.0002093174,0.00003707763,0.00008422905,0.0001863286,0.01366109,0.001432439,0.5948111,0.03185784,0.3565847],"study_design_scores_gemma":[0.0001821799,0.000065826,0.0001685282,0.0001032129,0.00003406545,0.0002368624,0.00009147755,0.08831584,0.00301741,0.8098083,0.09794413,0.00003222761],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01220448,0.0008539381,0.9158187,0.00145216,0.0007394342,0.0001107919,0.0004754624,0.002860595,0.06548443],"genre_scores_gemma":[0.1612833,0.0009401467,0.7877626,0.0007018532,0.0006342469,0.0002768308,0.001501353,0.001361813,0.045538],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03409435,"threshold_uncertainty_score":0.114057,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03097390232568992,"score_gpt":0.2869987577958471,"score_spread":0.2560248554701572,"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."}}