{"id":"W3207026105","doi":"10.1145/3485522","title":"Modular specification and verification of closures in Rust","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":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Programming language; Computer science; Modular design; Closure (psychology); Formal verification; Rust (programming language); Code (set theory); Theoretical computer science","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.00579844,0.0006252751,0.0006741449,0.0008997392,0.0007324873,0.001731521,0.001916964,0.001057664,0.002302482],"category_scores_gemma":[0.01463496,0.0009481799,0.002219026,0.0004694593,0.003482913,0.003653818,0.003608315,0.002714611,0.0006663793],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001048418,"about_ca_system_score_gemma":0.002387283,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001433734,"about_ca_topic_score_gemma":0.001456126,"domain_scores_codex":[0.9933501,0.001380758,0.0004726705,0.0009189005,0.003146791,0.0007307538],"domain_scores_gemma":[0.9883959,0.00500446,0.001377718,0.003231953,0.001773538,0.000216407],"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.0005877172,0.0002021487,0.004816165,0.0008818717,0.000131466,0.002726504,0.003062798,0.1042849,0.2555978,0.5092897,0.004423219,0.1139957],"study_design_scores_gemma":[0.0002400331,0.0005288515,0.001232724,0.0002059094,0.0001448155,0.001124328,0.0003335168,0.4418731,0.3513809,0.1687614,0.0340092,0.0001652869],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03374565,0.00004868214,0.9577965,0.0001396948,0.00005415241,0.0001175943,0.0001523828,0.005948857,0.001996459],"genre_scores_gemma":[0.536777,0.0001614155,0.4579524,0.0002745574,0.00004358678,0.0003410197,0.0004670635,0.001486996,0.002495972],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00579844,"threshold_uncertainty_score":0.03066546,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01992079449776948,"score_gpt":0.2566667467240086,"score_spread":0.2367459522262391,"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."}}