{"id":"W3205248599","doi":"10.1145/3485516","title":"Reachability types: tracking aliasing and separation in higher-order functional programs","year":2021,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; U.S. Department of Energy; National Science Foundation","keywords":"Reachability; Computer science; Programming language; Aliasing; Semantics (computer science); Theoretical computer science; Functional programming; Reachability problem; Order (exchange); Artificial intelligence","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006559037,0.0007280112,0.0005651068,0.001752786,0.001578228,0.003302967,0.002525161,0.001548669,0.003007861],"category_scores_gemma":[0.01329852,0.0009513597,0.001606595,0.001336001,0.005310679,0.01127751,0.004715423,0.002751722,0.0005731073],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002156264,"about_ca_system_score_gemma":0.002536251,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006414896,"about_ca_topic_score_gemma":0.005911725,"domain_scores_codex":[0.9961708,0.001090251,0.0003298006,0.0006515416,0.001348255,0.0004093965],"domain_scores_gemma":[0.991307,0.003763127,0.000952989,0.002781357,0.0009319684,0.0002637104],"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.0002303968,0.00006503948,0.003488292,0.0001883657,0.00004703563,0.0002886706,0.002379721,0.02706293,0.01079467,0.8616219,0.001681908,0.09215117],"study_design_scores_gemma":[0.00006359757,0.000144491,0.0011643,0.0001853023,0.0001600324,0.0005083279,0.0005388762,0.2399377,0.04770176,0.6803474,0.02909271,0.0001554096],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02246354,0.00008500565,0.9724371,0.0002056357,0.00004394916,0.00004221711,0.00007985085,0.002505746,0.002136966],"genre_scores_gemma":[0.5143459,0.0002302602,0.4783644,0.0002182036,0.00005901319,0.0001499892,0.0002468742,0.001086696,0.005298784],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006559037,"threshold_uncertainty_score":0.03468788,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04358175016620899,"score_gpt":0.2868284587584339,"score_spread":0.2432467085922249,"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."}}