{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006581758,0.00009179505,0.00019883,0.0002134961,0.0001099501,0.00003511051,0.0004967574,0.0001135599,0.000001603664],"category_scores_gemma":[0.000121115,0.00005660919,0.00005572978,0.0002878802,0.0001098341,0.0001864373,0.0001006115,0.0002102365,0.000008804111],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003518446,"about_ca_system_score_gemma":0.0001169559,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005318929,"about_ca_topic_score_gemma":0.000003549472,"domain_scores_codex":[0.9992512,0.00003858522,0.0002798939,0.0001103282,0.000137828,0.0001821964],"domain_scores_gemma":[0.9991696,0.0001173189,0.0003133517,0.0002191468,0.0001490302,0.00003153114],"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":[0.0001071509,0.0001806764,0.0005696626,0.00005630336,0.0001319182,0.00006904617,0.002204597,0.00003355528,0.004129858,0.8892311,0.0002657585,0.1030204],"study_design_scores_gemma":[0.001442562,0.002895524,0.0008849151,0.00003516856,0.00006888216,0.003807566,0.0004709505,0.0001643259,0.01818833,0.9678606,0.004010714,0.0001704094],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07653166,0.0009684041,0.9184465,0.002247562,0.0004366198,0.0003154875,6.485216e-7,0.00009561569,0.0009574854],"genre_scores_gemma":[0.9759287,0.0001890855,0.02369389,0.0001004577,0.00005497965,0.000004972888,4.154091e-7,0.000006821848,0.00002066901],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.899397,"threshold_uncertainty_score":0.2308456,"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."}}