{"id":"W2964334533","doi":"10.1016/j.entcs.2018.03.025","title":"A Denotational Semantics for SPARC TSO","year":2018,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Denotational semantics; Programming language; Modular design; Semantics (computer science); Denotational semantics of the Actor model; Normalisation by evaluation; Computer science; Operational semantics; Principle of compositionality; Theoretical computer science; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001821408,0.0001698562,0.0001825242,0.0002992684,0.0004041519,0.0003189888,0.00212108,0.0000611248,0.00001334948],"category_scores_gemma":[0.0003613058,0.0001567097,0.00005768282,0.001355449,0.001680351,0.0004025052,0.0005230131,0.0001959643,0.00002211261],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001631265,"about_ca_system_score_gemma":0.0004363915,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002294526,"about_ca_topic_score_gemma":0.000004204593,"domain_scores_codex":[0.9975103,0.00007435655,0.0003086283,0.0007281653,0.0004599989,0.0009185559],"domain_scores_gemma":[0.9982647,0.0006220752,0.00007770405,0.00055587,0.0003638086,0.000115858],"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.000008670522,0.000044815,0.000082587,0.000003561859,0.000002361567,0.000001104286,0.0002075372,0.001016921,0.0001632446,0.9775177,0.00004308895,0.02090839],"study_design_scores_gemma":[0.0001697651,0.0003186282,0.0001514665,0.00001469749,0.000001187684,0.00001262134,4.2788e-7,0.6075853,0.008173897,0.3832651,0.0001702613,0.0001366759],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006059525,0.00003837144,0.990897,0.00167319,0.0003108332,0.0002607386,6.666842e-7,0.0002838461,0.0004758203],"genre_scores_gemma":[0.5686285,0.000003762896,0.4307795,0.0004315723,0.0001347639,0.0000121585,7.132509e-7,0.000005477548,0.000003484653],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6065683,"threshold_uncertainty_score":0.6390436,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00968326086108321,"score_gpt":0.2832651843296394,"score_spread":0.2735819234685561,"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."}}