{"id":"W108438731","doi":"10.1007/978-3-642-33296-8_14","title":"Verification Rules for Exception Handling in Eiffel","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Eiffel; Correctness; Computer science; Programming language; Predicate (mathematical logic); Gas meter prover; Automated theorem proving; First-order logic; Theoretical computer science; Algorithm; Mathematical proof; Mathematics; Object-oriented programming","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.001360672,0.0003390769,0.0003862237,0.0006155222,0.0001832245,0.0004220581,0.001654575,0.0003274379,0.000006006569],"category_scores_gemma":[0.00007217119,0.000303633,0.0001051259,0.0003108587,0.0002374366,0.0006460329,0.0003444293,0.0003679065,0.00005272921],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002742987,"about_ca_system_score_gemma":0.0002006509,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003885911,"about_ca_topic_score_gemma":0.0000874242,"domain_scores_codex":[0.9973768,0.00003082721,0.0004693071,0.001014788,0.0005060859,0.0006022022],"domain_scores_gemma":[0.9983606,0.0002677656,0.0002844278,0.0008212801,0.0001618257,0.0001041405],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000004431906,0.00002761872,0.0001998603,0.00006579506,0.000003801239,0.000004076496,0.001072909,0.00138824,0.0002250166,0.1260368,0.000007081855,0.8709644],"study_design_scores_gemma":[0.0006158936,0.000218814,0.001085409,0.0001790329,0.00001059005,0.00003946376,5.321704e-7,0.2702549,0.001506512,0.7128408,0.01230041,0.0009476903],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001280714,0.001103463,0.9946525,0.0001777645,0.002234339,0.0006856403,0.00000148037,0.00011635,0.0009004094],"genre_scores_gemma":[0.8276806,0.00005459188,0.1707211,0.0002396744,0.0009620747,0.00005535022,0.00001776167,0.00002689745,0.0002419029],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8700167,"threshold_uncertainty_score":0.9999416,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0342167372774947,"score_gpt":0.261432686260511,"score_spread":0.2272159489830163,"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."}}