{"id":"W1973097078","doi":"10.1016/s1389-1286(03)00247-0","title":"The formal semantics of SDL-2000: Status and perspectives","year":2003,"lang":"en","type":"article","venue":"Computer Networks","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":62,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Programming language; Compiler; Formal semantics (linguistics); Operational semantics; Semantics (computer science); Abstract machine; Unified Modeling Language; Formalism (music); Action semantics; Abstract state machines; Denotational semantics; Finite-state machine; Software","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.01343241,0.0009937789,0.001362193,0.001914091,0.001106769,0.01027007,0.003447852,0.002528199,0.004100554],"category_scores_gemma":[0.01328986,0.0009190194,0.001034508,0.002188294,0.008717691,0.01820507,0.002809361,0.004765678,0.001178774],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004702109,"about_ca_system_score_gemma":0.005824856,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004627956,"about_ca_topic_score_gemma":0.002600162,"domain_scores_codex":[0.9929048,0.003013559,0.0006601438,0.0007100102,0.002192327,0.0005191129],"domain_scores_gemma":[0.9858745,0.008515944,0.0006807225,0.002006625,0.002348477,0.0005736879],"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.00006359335,0.00009431278,0.0002324432,0.0002894684,0.00001279782,0.00003035456,0.0002578512,0.00516348,0.0006000591,0.947494,0.001592508,0.04416911],"study_design_scores_gemma":[0.00008419523,0.00009570861,0.0001379677,0.0004598894,0.00002412592,0.0001359749,0.0003319918,0.05154754,0.003634766,0.8819817,0.06151856,0.00004770119],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01859154,0.01984568,0.9154721,0.01492704,0.0007976585,0.0001036855,0.0001579995,0.001589352,0.028515],"genre_scores_gemma":[0.5128636,0.0254709,0.4425637,0.003263346,0.001703846,0.000271775,0.0008836578,0.001003264,0.01197601],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01343241,"threshold_uncertainty_score":0.07103825,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01983101959432985,"score_gpt":0.2525929267094473,"score_spread":0.2327619071151175,"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."}}