{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009153971,0.0007506026,0.001052587,0.001748971,0.0009449391,0.002830913,0.003514617,0.001271775,0.009132772],"category_scores_gemma":[0.01687752,0.001229656,0.001838031,0.001175485,0.002605425,0.00591975,0.004809479,0.002095027,0.002285766],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00183238,"about_ca_system_score_gemma":0.002239034,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002028317,"about_ca_topic_score_gemma":0.002622901,"domain_scores_codex":[0.9911573,0.002763475,0.0005921462,0.001219267,0.003450681,0.0008171099],"domain_scores_gemma":[0.9889016,0.004991147,0.0007106313,0.003994864,0.001222835,0.0001789508],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001518995,0.0004202306,0.005530991,0.001172917,0.0001880383,0.001534914,0.001481793,0.06347618,0.03910833,0.4657384,0.02982222,0.390007],"study_design_scores_gemma":[0.000464837,0.0003162829,0.001314047,0.0003558131,0.0001686216,0.0009809894,0.0001057207,0.4245891,0.1029402,0.3041945,0.1643897,0.0001801959],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02606526,0.0003344077,0.9171616,0.0006026378,0.0001876697,0.0001573617,0.0006713812,0.04053928,0.01428036],"genre_scores_gemma":[0.3219025,0.0002755883,0.6573471,0.0008202419,0.0002467548,0.0002903169,0.001371015,0.005074858,0.01267167],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009153971,"threshold_uncertainty_score":0.04841143,"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."}}