{"id":"W1996612506","doi":"10.1016/s0304-3975(03)00315-3","title":"The regular-language semantics of second-order idealized ALGOL","year":2003,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":58,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Decidability; Equivalence (formal languages); Computer science; Programming language; Fragment (logic); Operational semantics; Semantics (computer science); Game semantics; Formal semantics (linguistics); Denotational semantics; Mathematics; Theoretical computer science; Discrete 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.001927844,0.0005667218,0.0006291341,0.001346192,0.001855886,0.006472446,0.001722685,0.001191969,0.005119402],"category_scores_gemma":[0.002903778,0.0006055754,0.001117767,0.001071975,0.005188054,0.01100917,0.002749048,0.003110387,0.0011827],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002145968,"about_ca_system_score_gemma":0.001492987,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001257516,"about_ca_topic_score_gemma":0.001103094,"domain_scores_codex":[0.9985025,0.0004088424,0.0001103979,0.000232895,0.0004648724,0.0002806379],"domain_scores_gemma":[0.9984018,0.0004875592,0.0001325127,0.0003425141,0.000459631,0.0001759708],"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.00002961912,0.000008646643,0.00007167653,0.00002003272,0.000004129741,0.00002460073,0.0002562399,0.0002508023,0.0004262214,0.9960855,0.000586394,0.00223605],"study_design_scores_gemma":[0.00001576407,0.00001316547,0.00007256184,0.00001305633,0.00001031806,0.00009894957,0.0001610329,0.003182941,0.001294258,0.9856128,0.009508776,0.00001644247],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1360006,0.001435255,0.6907025,0.006134335,0.0009467601,0.0001144227,0.001023408,0.004329467,0.1593134],"genre_scores_gemma":[0.9234627,0.0003576438,0.05930932,0.0007751005,0.0003004001,0.00008413147,0.0003684829,0.0006556579,0.01468654],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006472446,"threshold_uncertainty_score":0.01712614,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009277252131278366,"score_gpt":0.2498936245028883,"score_spread":0.2406163723716099,"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."}}