{"id":"W2015771391","doi":"10.1007/s10817-009-9134-9","title":"Faster and More Complete Extended Static Checking for the Java Modeling Language","year":2009,"lang":"en","type":"article","venue":"Journal of Automated Reasoning","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Programming language; Computer science; Java Modeling Language; Java; Programming language specification; Model checking; Generics in Java; Real time Java; Java annotation","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.0007749048,0.0001158101,0.0002229494,0.00008265358,0.0002010174,0.0003230235,0.0003879055,0.00004347232,0.000001295658],"category_scores_gemma":[0.0001034774,0.00006917332,0.00007572126,0.0001352426,0.00002089929,0.000339507,0.00004338916,0.0001565444,0.000001159632],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002766012,"about_ca_system_score_gemma":0.00004260712,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001530268,"about_ca_topic_score_gemma":0.000001376737,"domain_scores_codex":[0.9989712,0.00004919935,0.000361755,0.0001330904,0.0002408335,0.000243941],"domain_scores_gemma":[0.9991223,0.000133471,0.0003380385,0.0001788322,0.0001553153,0.00007200094],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001913488,0.0003447648,0.0007333391,0.0003453119,0.0008165889,0.0007052423,0.1033388,0.08413235,0.02197045,0.1066298,0.002352363,0.6784397],"study_design_scores_gemma":[0.0004815258,0.000181156,0.0006637785,0.00006014078,0.00002597132,0.0004447295,0.001062259,0.9955311,0.0001253804,0.001112024,0.0002176219,0.00009430919],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06640595,0.001823316,0.9301727,0.0008526134,0.0002683933,0.0001801406,5.572036e-7,0.0001636354,0.0001326298],"genre_scores_gemma":[0.9698191,0.00001795104,0.02978222,0.0002218965,0.0001202101,0.000001774337,6.718453e-7,0.000007662672,0.00002852763],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9113988,"threshold_uncertainty_score":0.3114923,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02620042090842135,"score_gpt":0.2924356150562363,"score_spread":0.2662351941478149,"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."}}