{"id":"W4307887673","doi":"10.1145/3563326","title":"Fractional resources in unbounded separation logic","year":2022,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung; National Science Foundation","keywords":"Separation logic; Assertion; Soundness; Computer science; Distributivity; Heap (data structure); Programming language; Mathematical proof; Semantics (computer science); Mathematics; Theoretical computer science; Arithmetic; Distributive property; Pure 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.00309573,0.0008297667,0.0005447696,0.001380428,0.001648406,0.003134779,0.00155533,0.001187801,0.004071506],"category_scores_gemma":[0.005976901,0.0006524402,0.001844873,0.001095473,0.005675403,0.008619043,0.003779242,0.003591158,0.0008246715],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003467025,"about_ca_system_score_gemma":0.00234019,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003874504,"about_ca_topic_score_gemma":0.002628631,"domain_scores_codex":[0.9959751,0.0009871772,0.000339019,0.000768877,0.001491928,0.0004378989],"domain_scores_gemma":[0.9960774,0.002187562,0.0002847631,0.0005934602,0.0006706516,0.0001862234],"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.00003200933,0.00001417586,0.00008941202,0.00004888667,0.000007919256,0.00009020287,0.0002572348,0.003830567,0.001167061,0.9851809,0.0006818991,0.008599769],"study_design_scores_gemma":[0.00002073101,0.00001730037,0.00004535905,0.00002892938,0.00001346306,0.00005667529,0.00004234792,0.02190738,0.001902494,0.9664351,0.00951224,0.00001813589],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01896312,0.0005378596,0.959172,0.001039599,0.0001344872,0.00005429232,0.0001330221,0.001289436,0.0186763],"genre_scores_gemma":[0.5816527,0.0009313952,0.4013403,0.001531888,0.0003825139,0.0002404285,0.0004546543,0.0005300284,0.01293605],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004071506,"threshold_uncertainty_score":0.02515513,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02238444774618,"score_gpt":0.2866410207537125,"score_spread":0.2642565730075325,"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."}}