{"id":"W2004626615","doi":"10.1145/1529282.1529410","title":"Extended static checking in JML4","year":2009,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Completeness (order theory); Runtime verification; Implementation; Programming language; Formal verification; Simple (philosophy); Static analysis; Functional verification; Component (thermodynamics); Automated theorem proving; Model checking; Theoretical computer science","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.0002568726,0.0000670455,0.0001006898,0.00006599506,0.00002890835,0.0001124353,0.0003516438,0.00002863755,0.00001680683],"category_scores_gemma":[0.00001631479,0.00005129967,0.00002237972,0.000240548,0.000008203843,0.0002167716,0.00003654038,0.00005982211,0.0001006313],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002320531,"about_ca_system_score_gemma":0.00002367991,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007886446,"about_ca_topic_score_gemma":0.00002988611,"domain_scores_codex":[0.9992671,0.00003220977,0.0001547724,0.0001953293,0.0001345906,0.0002160237],"domain_scores_gemma":[0.9996316,0.00001963907,0.0000346193,0.0002528084,0.00001918305,0.00004210532],"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":[9.682951e-7,0.00005763901,0.0004885854,0.000004624148,0.000001828331,0.00003082395,0.0007784077,0.000008747895,0.0001411173,0.8047561,0.0003258088,0.1934053],"study_design_scores_gemma":[0.001804075,0.0006576101,0.07910805,0.00001664492,0.000004989239,0.00007074373,0.0003928876,0.08520577,0.003261522,0.7916378,0.03704219,0.0007976755],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006239225,0.0001258056,0.9058641,0.0008001043,0.0002775354,0.0001963215,3.398591e-8,0.0002814097,0.08621544],"genre_scores_gemma":[0.9888732,0.000002528966,0.009580775,0.0004724654,0.00002764972,0.000003610646,4.082612e-7,0.000001932767,0.001037442],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9826339,"threshold_uncertainty_score":0.209194,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02619286018985351,"score_gpt":0.2705551556397602,"score_spread":0.2443622954499067,"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."}}