{"id":"W1991224384","doi":"10.1016/s0304-3975(00)00403-5","title":"An introduction to metric semantics: operational and denotational models for programming and specification languages","year":2001,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":42,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Denotational semantics; Denotational semantics of the Actor model; Computer science; Programming language; Operational semantics; Nondeterministic algorithm; Normalisation by evaluation; Action semantics; Domain theory; Semantics (computer science); Programming language theory; Theoretical computer science; Fifth-generation programming language; Programming paradigm; Mathematics; 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.00337423,0.001861594,0.002038725,0.002973752,0.001573614,0.006899599,0.003491428,0.004141661,0.008975367],"category_scores_gemma":[0.008479152,0.001588222,0.002591972,0.006578117,0.008064169,0.01856764,0.00409622,0.009788668,0.003475402],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002477745,"about_ca_system_score_gemma":0.001685575,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00183165,"about_ca_topic_score_gemma":0.001759068,"domain_scores_codex":[0.9972453,0.0006915035,0.0004489943,0.0005143561,0.0009171668,0.0001827266],"domain_scores_gemma":[0.9961288,0.002658635,0.0002134285,0.0003898707,0.0004297835,0.0001795751],"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.00001159841,0.00002256737,0.00008344336,0.0001954466,0.00001397841,0.00004965071,0.0003085864,0.001015479,0.0003864023,0.9676482,0.009611293,0.02065335],"study_design_scores_gemma":[0.000006357488,0.00001685172,0.00008683572,0.00008756445,0.00001056514,0.0001529721,0.00005143752,0.002749929,0.0001761682,0.9084898,0.08814475,0.00002674191],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001569636,0.03835755,0.9219179,0.008426974,0.002135603,0.0001019073,0.0006377499,0.0008420073,0.02601069],"genre_scores_gemma":[0.07274995,0.05025908,0.837189,0.006369574,0.007515485,0.0007918212,0.001217396,0.001023104,0.02288464],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008975367,"threshold_uncertainty_score":0.03002554,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0195223023188949,"score_gpt":0.2829154373386327,"score_spread":0.2633931350197378,"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."}}