{"id":"W1538691881","doi":"10.1007/978-3-540-69738-1_8","title":"An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Heap (data structure); Computer science; Pointer (user interface); Separation logic; Mathematical proof; Inference; Programming language; Rule of inference; Theoretical computer science; Data structure; Artificial intelligence; 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.007667206,0.00174511,0.002170623,0.00254588,0.001614087,0.003815351,0.005440408,0.002965908,0.01322619],"category_scores_gemma":[0.02226542,0.001480359,0.004241462,0.0009463189,0.003282783,0.004501582,0.004148969,0.00335408,0.004758464],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001465907,"about_ca_system_score_gemma":0.004748365,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00415331,"about_ca_topic_score_gemma":0.005205144,"domain_scores_codex":[0.992043,0.001988352,0.0008493179,0.001915777,0.002400236,0.0008033933],"domain_scores_gemma":[0.9831759,0.01147112,0.0006611487,0.002204975,0.002092728,0.0003941921],"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.002793416,0.001406898,0.00523391,0.001635942,0.0008785506,0.001789159,0.0009405718,0.08224816,0.07954933,0.1551004,0.02235548,0.6460682],"study_design_scores_gemma":[0.000389917,0.0003739659,0.001002103,0.0001851011,0.0005085169,0.0004738845,0.0001443054,0.7496328,0.09783684,0.139313,0.009937174,0.0002023317],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004149885,0.00004446012,0.9809163,0.0001147964,0.00007252583,0.0003467271,0.0002693611,0.01276644,0.001319402],"genre_scores_gemma":[0.1177833,0.00008213851,0.8762265,0.0003821204,0.00007884581,0.0003539081,0.00105316,0.001455787,0.002584252],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01322619,"threshold_uncertainty_score":0.04424596,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09226293328640164,"score_gpt":0.3286665802387556,"score_spread":0.2364036469523539,"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."}}