{"id":"W1602007820","doi":"10.1007/978-3-642-04639-1_4","title":"Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs","year":2009,"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":"Kleene algebra; Computer science; Decidability; Pushdown automaton; Formalism (music); Kleene's recursion theorem; Programming language; Algebra over a field; Discrete mathematics; Mathematics; Theoretical computer science; Algorithm; Finite-state machine; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001367033,0.0005094891,0.0008972263,0.003027231,0.00009069378,0.0004965711,0.00266211,0.000360744,0.00000548227],"category_scores_gemma":[0.0003955237,0.0004757562,0.0001735326,0.003401486,0.0005375293,0.001602781,0.0009228968,0.0007125296,0.000003593249],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002681858,"about_ca_system_score_gemma":0.000296992,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004945463,"about_ca_topic_score_gemma":0.0002713578,"domain_scores_codex":[0.9959348,0.00009467001,0.0008867242,0.00159394,0.0008958072,0.0005939869],"domain_scores_gemma":[0.9972457,0.0003755315,0.000591333,0.001172188,0.0004542426,0.000161017],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001963211,0.0000672938,0.0005663226,0.00004710854,0.00006826425,0.00003430207,0.001803526,0.008637317,0.0002246295,0.0664218,0.000001349278,0.9221085],"study_design_scores_gemma":[0.0002918736,0.0005800614,0.007689795,0.0006799228,0.00009160521,0.00004022588,6.852447e-7,0.9322981,0.002776524,0.05464192,0.0001301241,0.0007791414],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01014226,0.0004334026,0.9878178,0.0002193758,0.0004535202,0.0005701761,0.000005241079,0.00008194078,0.0002762644],"genre_scores_gemma":[0.2991013,0.00007800862,0.7002088,0.0004473794,0.0000583993,0.00001080814,0.000009846602,0.00001761305,0.00006779375],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9236608,"threshold_uncertainty_score":0.9997694,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02614422604798004,"score_gpt":0.2798615489949663,"score_spread":0.2537173229469862,"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."}}