{"id":"W4237989195","doi":"10.1145/2398857.2384623","title":"Predicate abstraction of Java programs with collections","year":2012,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Predicate abstraction; Programming language; Java; Java Modeling Language; Generics in Java; Predicate (mathematical logic); Java annotation; Scalability; Java concurrency; Model checking; Real time Java; Database","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.004211577,0.0008512756,0.0008300894,0.001138427,0.001030405,0.00300766,0.002033758,0.0007473393,0.001918092],"category_scores_gemma":[0.008636209,0.001121988,0.002928823,0.001244199,0.003476583,0.008094355,0.003661904,0.002860821,0.0004295764],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001736996,"about_ca_system_score_gemma":0.002845455,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004004996,"about_ca_topic_score_gemma":0.00309758,"domain_scores_codex":[0.9952455,0.001217535,0.0004587661,0.0006492981,0.001853649,0.0005752007],"domain_scores_gemma":[0.9923741,0.004011838,0.0008507716,0.00175792,0.000853113,0.0001521963],"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.0004369035,0.0001988569,0.004280436,0.0007393934,0.0001502465,0.0008465037,0.00195274,0.1466089,0.04192371,0.7183599,0.004003635,0.08049875],"study_design_scores_gemma":[0.0001269621,0.0002185122,0.00069866,0.000135335,0.0002190397,0.0003296137,0.0002105257,0.5624403,0.08069048,0.3238699,0.03096008,0.0001007376],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01211281,0.0000620151,0.9838365,0.000124085,0.00002041728,0.00006182874,0.0000694623,0.002725575,0.0009874195],"genre_scores_gemma":[0.4077023,0.000477587,0.5866475,0.0003551834,0.0001270143,0.0004338191,0.0005684721,0.001455877,0.002232356],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004211577,"threshold_uncertainty_score":0.02227318,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03440341311165721,"score_gpt":0.2540499952875848,"score_spread":0.2196465821759276,"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."}}