{"id":"W2156881251","doi":"10.1145/1449764.1449792","title":"Typestate-like analysis of multiple interacting objects","year":2008,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":80,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Static analysis; Heap (data structure); Semantics (computer science); Programming language; Theoretical computer science; Abstract interpretation; Set (abstract data type); Program analysis; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002620822,0.0006004007,0.0007128627,0.001933241,0.001217448,0.003226667,0.002022976,0.001101562,0.003534737],"category_scores_gemma":[0.008081367,0.0006981189,0.001915157,0.001233443,0.002700756,0.005424746,0.002565973,0.001835479,0.0005374252],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001986622,"about_ca_system_score_gemma":0.001943352,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004592854,"about_ca_topic_score_gemma":0.002458235,"domain_scores_codex":[0.9968615,0.0004570364,0.0002145204,0.0005019889,0.001556832,0.000408181],"domain_scores_gemma":[0.9957632,0.001602935,0.0004855621,0.0009589762,0.001052453,0.0001368865],"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.000208082,0.00006681648,0.006269735,0.0001922171,0.00007110421,0.0007591975,0.001040957,0.1117362,0.01788756,0.7971014,0.001068845,0.06359778],"study_design_scores_gemma":[0.00002590052,0.00009397745,0.0007861416,0.00006481529,0.00007795493,0.0004121852,0.0003052035,0.4907048,0.05172323,0.4356998,0.02003259,0.00007346459],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02784791,0.00005106891,0.9682087,0.00007367976,0.00002408465,0.00005624758,0.0001053295,0.001022092,0.00261078],"genre_scores_gemma":[0.5098447,0.0001473538,0.482563,0.0001116127,0.00004706728,0.0002108095,0.0004763434,0.0006633326,0.00593588],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004592854,"threshold_uncertainty_score":0.01441401,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03247545696163772,"score_gpt":0.2591580250819836,"score_spread":0.2266825681203459,"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."}}