{"id":"W1501262406","doi":"10.1007/bfb0013455","title":"Local variables and non-interference in algol-like languages","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Interference (communication); Computer science; Linguistics; Programming language; Telecommunications; Philosophy","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.002535281,0.0008399533,0.001259348,0.0009975643,0.003121372,0.006243102,0.002485835,0.001595307,0.006528466],"category_scores_gemma":[0.008249039,0.001456477,0.001332228,0.001998081,0.006882187,0.01135762,0.004685541,0.006389071,0.001443483],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001424834,"about_ca_system_score_gemma":0.001109469,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007709364,"about_ca_topic_score_gemma":0.0009062095,"domain_scores_codex":[0.9969546,0.001269217,0.0002229124,0.0003683906,0.0007124548,0.0004724314],"domain_scores_gemma":[0.9936777,0.004154193,0.0003828245,0.001011719,0.0005246843,0.0002489116],"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.0000405354,0.00001576866,0.000148552,0.0000608513,0.00000972267,0.00006294744,0.0006915111,0.0006339687,0.0005964861,0.9892358,0.001003549,0.007500219],"study_design_scores_gemma":[0.00001704412,0.00001364002,0.00005638316,0.00002400102,0.00001490339,0.0001044395,0.0001319764,0.002519024,0.001171584,0.9897311,0.00620054,0.00001527988],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1174856,0.004430821,0.6992486,0.002813388,0.0007139207,0.00009088888,0.0002030049,0.002460127,0.1725537],"genre_scores_gemma":[0.8578829,0.001622139,0.09973174,0.001147904,0.0005074851,0.0002870199,0.0002807162,0.001838148,0.03670193],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006528466,"threshold_uncertainty_score":0.02183992,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01270789725102287,"score_gpt":0.2385522437029689,"score_spread":0.225844346451946,"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."}}