{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008329967,0.0001349812,0.0001700107,0.0001610319,0.000311579,0.0001974891,0.002401733,0.00004623958,0.00001585295],"category_scores_gemma":[0.0004609539,0.00009854423,0.00009163236,0.0007713729,0.00006024847,0.0002550108,0.001204962,0.0003002838,0.000006136065],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001052639,"about_ca_system_score_gemma":0.00002985955,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001245817,"about_ca_topic_score_gemma":0.0000111473,"domain_scores_codex":[0.9984796,0.0000367662,0.0002714823,0.0003489522,0.0005867301,0.000276461],"domain_scores_gemma":[0.9990779,0.00008556181,0.0003147898,0.0004035478,0.00008360368,0.00003460005],"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.00008429716,0.0006586697,0.0440298,0.0001466965,0.00005322028,0.00001152374,0.01279635,0.0002023926,0.004637389,0.860809,0.002196636,0.07437401],"study_design_scores_gemma":[0.003079573,0.002782335,0.04159803,0.00009387979,0.00006085634,0.0003558652,0.02377464,0.00275648,0.02543692,0.5347224,0.3637679,0.001571094],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9707053,0.001078204,0.00169117,0.008497695,0.001027475,0.001637668,0.000002731084,0.0006299124,0.01472988],"genre_scores_gemma":[0.9939581,0.00000226256,0.004965259,0.0002170578,0.00007296103,0.000170676,0.000001670292,0.000009968784,0.0006021009],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3615713,"threshold_uncertainty_score":0.4463057,"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."}}