{"id":"W4234858006","doi":"10.1145/1449955.1449792","title":"Typestate-like analysis of multiple interacting objects","year":2008,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Static analysis; Heap (data structure); Programming language; Semantics (computer science); Abstract interpretation; Theoretical computer science; Program analysis; Operational semantics; Control flow; Set (abstract data type); Algorithm","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.0002117152,0.0001141415,0.0002788185,0.0002364184,0.0001085107,0.0000575355,0.0009362278,0.00004852507,0.0000183935],"category_scores_gemma":[0.0003948704,0.00009312899,0.0001104328,0.0008385511,0.0000442596,0.0003528059,0.0002346024,0.00008918603,0.00005916351],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001502372,"about_ca_system_score_gemma":0.00003481424,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008282297,"about_ca_topic_score_gemma":0.0004378656,"domain_scores_codex":[0.9989154,0.00007005771,0.0002703836,0.0002875206,0.0002324372,0.0002241566],"domain_scores_gemma":[0.9982221,0.0006943877,0.000253625,0.0006757861,0.0000896593,0.00006448678],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005695969,0.000426467,0.8998628,0.0001740993,0.0022308,0.0004035021,0.04576854,0.005196462,0.003587315,0.01164149,0.001416204,0.02923534],"study_design_scores_gemma":[0.002936294,0.001295028,0.4286897,0.00007590367,0.001649044,0.0001904158,0.00452182,0.4849054,0.03046238,0.002848258,0.03988829,0.002537491],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9270095,0.0003364493,0.06424233,0.00009443618,0.00123568,0.0001997792,0.000003511457,0.0002614624,0.006616818],"genre_scores_gemma":[0.9934192,0.00000775074,0.006227801,0.00005998342,0.00004441253,0.000004086635,0.00001040691,0.000005807442,0.0002205139],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.479709,"threshold_uncertainty_score":0.379769,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04006550644415848,"score_gpt":0.2688191604634197,"score_spread":0.2287536540192612,"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."}}