{"id":"W1539057350","doi":"10.1007/11734673_5","title":"Static Analysis of Programs Using Omega Algebra with Tests","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Omega; Computer science; Algebra over a field; Programming language; Theoretical computer science; Mathematics; Pure 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.002215348,0.0008075002,0.001033861,0.002203913,0.001058286,0.001628032,0.001870015,0.0006931653,0.00544492],"category_scores_gemma":[0.005332486,0.0007019483,0.001889029,0.00194569,0.002649064,0.004993189,0.001684397,0.001564575,0.0008108894],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001137402,"about_ca_system_score_gemma":0.001654556,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001607355,"about_ca_topic_score_gemma":0.001685561,"domain_scores_codex":[0.9972659,0.0006134406,0.0001764161,0.0003470498,0.001187038,0.000410077],"domain_scores_gemma":[0.9964772,0.001993985,0.0002603843,0.0007425311,0.0004466049,0.00007927593],"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.0006745663,0.0002104494,0.002560173,0.0003592489,0.00009423484,0.0003245133,0.0005169811,0.07075594,0.02741081,0.7281392,0.002705918,0.1662479],"study_design_scores_gemma":[0.00005187523,0.0001711826,0.0008085159,0.00007153834,0.0001088897,0.0001655958,0.0001333471,0.2796222,0.04376112,0.6689924,0.006058011,0.00005546807],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04263009,0.0001257579,0.9463115,0.0001160087,0.00004927922,0.00007202124,0.0001377182,0.003048603,0.007508941],"genre_scores_gemma":[0.7355411,0.0002812583,0.2537227,0.00008557295,0.0001204208,0.000208468,0.0006124699,0.00094718,0.008480918],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00544492,"threshold_uncertainty_score":0.01821506,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03159344500441665,"score_gpt":0.2886487115809467,"score_spread":0.2570552665765301,"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."}}