{"id":"W2141682399","doi":"10.1007/978-3-642-30885-7_8","title":"Preventing Arithmetic Overflows in Alloy","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Counterexample; Spurious relationship; Computer science; Bounded function; Semantics (computer science); Programming language; Arithmetic; Range (aeronautics); Key (lock); Theoretical computer science; Algorithm; Discrete mathematics; Mathematics; Operating system","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.001505334,0.000984617,0.001376192,0.001310158,0.001343677,0.002257081,0.002053727,0.0009861219,0.006970569],"category_scores_gemma":[0.008071022,0.0007940808,0.0008209637,0.001683459,0.001876453,0.00401075,0.003067039,0.001348303,0.00177321],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007550112,"about_ca_system_score_gemma":0.001500581,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00112264,"about_ca_topic_score_gemma":0.001608319,"domain_scores_codex":[0.997852,0.0003345658,0.0001812413,0.0002180571,0.001087032,0.0003271696],"domain_scores_gemma":[0.9967279,0.001392029,0.0002411284,0.000964269,0.0005905374,0.00008412345],"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.0009596821,0.0001362938,0.001613435,0.001017732,0.00009406558,0.0004818254,0.0007457301,0.05135452,0.01863378,0.477549,0.02027043,0.4271436],"study_design_scores_gemma":[0.0001097016,0.000257219,0.0004653354,0.000339287,0.0002419566,0.0006661415,0.0003636052,0.1288757,0.06725468,0.7391205,0.06220248,0.0001035117],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1498325,0.005425873,0.7501958,0.001097829,0.0009356319,0.0001766289,0.0002981383,0.01008126,0.08195636],"genre_scores_gemma":[0.7691311,0.001884254,0.1986283,0.0004344699,0.0001878521,0.00009103384,0.0004472535,0.00143189,0.02776388],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006970569,"threshold_uncertainty_score":0.02331883,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02226271050203656,"score_gpt":0.2745710218626587,"score_spread":0.2523083113606222,"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."}}