{"id":"W1975757993","doi":"10.1007/s10009-009-0098-1","title":"A low-level memory model and an accompanying reachability predicate","year":2009,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Heap (data structure); Reachability; Programming language; Pointer (user interface); Separation logic; Predicate (mathematical logic); Predicate abstraction; Theoretical computer science; Model checking; Artificial intelligence","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.0005211284,0.0001907257,0.0002376884,0.0003447404,0.0001847083,0.0003575036,0.001375152,0.0002313496,0.000003784743],"category_scores_gemma":[0.0001852104,0.0001587501,0.0001203702,0.000133848,0.000102103,0.001021121,0.00004709767,0.0004242717,0.000005199348],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009072295,"about_ca_system_score_gemma":0.00008543182,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002362559,"about_ca_topic_score_gemma":0.000004971572,"domain_scores_codex":[0.9984469,0.00003473115,0.0004046634,0.0004223517,0.0003852897,0.0003060169],"domain_scores_gemma":[0.9990411,0.0000897111,0.0000747779,0.000333196,0.0003396838,0.0001215282],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007752811,0.0003538178,0.000263808,0.000007887152,0.0000633183,0.00003219219,0.0003318558,0.0003400702,0.0007543026,0.1426213,0.00006454848,0.8550894],"study_design_scores_gemma":[0.004268138,0.001746811,0.004431024,0.00007438427,0.00003854655,0.001274871,0.0001062021,0.03863907,0.008073284,0.9372852,0.003353233,0.0007091667],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1603631,0.0000667731,0.8356341,0.00277546,0.0004088411,0.0002418697,0.00001173587,0.0004197169,0.00007841035],"genre_scores_gemma":[0.9620785,0.00002739102,0.03699443,0.0006481681,0.0001397317,0.00003033338,0.000006230444,0.00001111544,0.00006414357],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8543802,"threshold_uncertainty_score":0.6473642,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04833891506085652,"score_gpt":0.3012249053209211,"score_spread":0.2528859902600645,"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."}}