{"id":"W2048387852","doi":"10.1016/s1571-0661(04)80958-7","title":"Regular-Language Semantics for a Call-by-Value Programming Language","year":2001,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Basis Foundation","keywords":"Finitary; Game semantics; Equivalence (formal languages); Computer science; Operational semantics; Decidability; Programming language; Denotational semantics; Mathematics; Semantics (computer science); 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002679226,0.000299227,0.0003491981,0.0002242746,0.0003345749,0.0006252594,0.002606875,0.0001206271,0.000007206255],"category_scores_gemma":[0.0003408687,0.0002502756,0.000122573,0.001582127,0.001080997,0.0004820183,0.0005737417,0.0003680591,0.00002061135],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002629108,"about_ca_system_score_gemma":0.0002760762,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004826394,"about_ca_topic_score_gemma":0.00002817079,"domain_scores_codex":[0.9959126,0.0001468805,0.000433218,0.001060553,0.0006840281,0.001762685],"domain_scores_gemma":[0.9980713,0.0005115019,0.0001207759,0.0009526419,0.0001187406,0.0002250243],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001072753,0.0001084345,0.0001432131,0.00001857108,0.00000654249,0.00003589694,0.001474542,0.00005110191,0.001217312,0.8530287,0.00002296013,0.1438821],"study_design_scores_gemma":[0.001250565,0.001294357,0.00008725854,0.0000369111,0.00001550032,0.0003062138,0.00007303029,0.6730282,0.01709206,0.3010467,0.004898164,0.0008711002],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02208304,0.0008203183,0.9744043,0.0009890208,0.0003944057,0.0007205217,6.809967e-7,0.0002832369,0.0003044404],"genre_scores_gemma":[0.9267715,0.00001347425,0.07253773,0.0003441709,0.0001988013,0.00006774085,0.000004085689,0.00001938207,0.00004315063],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9046884,"threshold_uncertainty_score":0.9999949,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006798227184641947,"score_gpt":0.2647977056783791,"score_spread":0.2579994784937371,"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."}}