{"id":"W994117549","doi":"","title":"Enhancements to jml and its extended static checking technology","year":2009,"lang":"en","type":"dissertation","venue":"Spectrum Research Repository (Concordia University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Programming language; HOL; Debugging; Java Modeling Language; Java; Compiler; Static analysis; Model checking; Mathematical proof; Java annotation; Java applet","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005595265,0.0003214968,0.0004504891,0.002225005,0.0007213864,0.0003845708,0.001706458,0.0003848514,0.00000821418],"category_scores_gemma":[0.00009279721,0.000351153,0.00008488776,0.002174797,0.00008136905,0.0005344474,0.0004037234,0.0008538852,0.00009038331],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005089167,"about_ca_system_score_gemma":0.0006345715,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001370543,"about_ca_topic_score_gemma":0.003077084,"domain_scores_codex":[0.9965177,0.0003204412,0.0003008999,0.001111968,0.0008097776,0.0009391753],"domain_scores_gemma":[0.99819,0.00008880263,0.0002064774,0.0007607832,0.0003968941,0.0003569871],"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.0004826017,0.0005023925,0.00326262,0.0008695025,0.0005288098,0.005970357,0.004429048,0.000009401856,0.04246434,0.8273109,0.001486761,0.1126833],"study_design_scores_gemma":[0.005292518,0.01088599,0.07668864,0.0008325262,0.0002736956,0.0004002409,0.01430581,0.002603759,0.4145632,0.1059019,0.3630125,0.005239157],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7502502,0.00172637,0.01442716,0.001338419,0.002955466,0.003254513,0.00000366761,0.0009380137,0.2251062],"genre_scores_gemma":[0.9414867,0.0001216234,0.0001703527,0.00001314057,0.0001347176,0.00001011454,0.00001787944,0.00002265947,0.0580228],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.721409,"threshold_uncertainty_score":0.999894,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02714546588291408,"score_gpt":0.2950115176501598,"score_spread":0.2678660517672458,"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."}}