{"id":"W2024201176","doi":"10.5381/jot.2004.3.6.a3","title":"JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics.","year":2004,"lang":"en","type":"article","venue":"The Journal of Object Technology","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Programming language; Computer science; Eiffel; Java Modeling Language; Semantics (computer science); Java; Notation; Specification language; Java annotation; Object-oriented programming; Java applet; Arithmetic; Mathematics","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.008612726,0.001283853,0.00111353,0.002655124,0.0013263,0.007101393,0.004358069,0.002517447,0.006659383],"category_scores_gemma":[0.01591885,0.001869065,0.002408082,0.00252522,0.003250059,0.009321375,0.004252783,0.004716757,0.006953522],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002537613,"about_ca_system_score_gemma":0.003555716,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002708478,"about_ca_topic_score_gemma":0.002469979,"domain_scores_codex":[0.9928477,0.001590782,0.001330294,0.0006930211,0.003049057,0.0004890563],"domain_scores_gemma":[0.9922592,0.00257947,0.0009796552,0.002166508,0.001592627,0.0004225702],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001608146,0.00007157395,0.0008715485,0.0009090179,0.00003525533,0.0005316303,0.001766855,0.002919958,0.007886173,0.86704,0.04531876,0.07248842],"study_design_scores_gemma":[0.00008728859,0.0000530952,0.0003961187,0.0003934833,0.00004263773,0.001193504,0.0001946768,0.02136539,0.01136455,0.2093348,0.755482,0.00009240374],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001993763,0.0006427654,0.9559699,0.00143049,0.0003760371,0.0001658881,0.002316799,0.0198257,0.01727873],"genre_scores_gemma":[0.07537693,0.001336393,0.8827642,0.00233232,0.0007328698,0.001020132,0.007443973,0.0100856,0.01890755],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008612726,"threshold_uncertainty_score":0.04554898,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01962478840974045,"score_gpt":0.2525484213183916,"score_spread":0.2329236329086511,"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."}}