{"id":"W2150799478","doi":"10.1007/11734673_12","title":"Control-Flow Semantics for Assembly-Level Data-Flow Graphs","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Manufacturing Process and Optimization","field":"Engineering","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Data flow diagram; Semantics (computer science); Control flow graph; Control flow; Data-flow analysis; Theoretical computer science; Flow (mathematics); Programming language; Algorithm; Database; Mathematics","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.001113945,0.00106836,0.0005842207,0.001251429,0.000816472,0.003102306,0.001532273,0.001301416,0.003841069],"category_scores_gemma":[0.00186196,0.0008074355,0.00126455,0.001288413,0.001716873,0.003898265,0.001069513,0.00231828,0.001149726],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009385929,"about_ca_system_score_gemma":0.001108409,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002656372,"about_ca_topic_score_gemma":0.003095539,"domain_scores_codex":[0.9990847,0.0001752833,0.0001281021,0.0001506524,0.0003593911,0.0001017286],"domain_scores_gemma":[0.999023,0.0004088496,0.00008063557,0.0001878105,0.000260459,0.00003934777],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00008603611,0.00007631993,0.0002309611,0.0003193263,0.0000239505,0.0001877321,0.0005569154,0.02901981,0.008027326,0.8810204,0.004398198,0.07605307],"study_design_scores_gemma":[0.00005079546,0.00005147908,0.000192829,0.0001451608,0.00005185014,0.000197173,0.0001215912,0.09019926,0.01198444,0.8444579,0.05251141,0.00003598167],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005166511,0.0003179952,0.9857292,0.0001810649,0.00006380498,0.00008509323,0.0003588502,0.00130254,0.006794852],"genre_scores_gemma":[0.2399218,0.001226147,0.743701,0.0003796122,0.0001715731,0.0005738564,0.002329853,0.001334815,0.01036124],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003841069,"threshold_uncertainty_score":0.01284969,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02352414095503571,"score_gpt":0.2316810213168045,"score_spread":0.2081568803617688,"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."}}