{"id":"W2766389817","doi":"10.23638/lmcs-15(2:10)2019","title":"A Denotational Semantics for SPARC TSO","year":2019,"lang":"en","type":"preprint","venue":"Logical Methods in Computer Science","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Scheme for Promotion of Academic and Research Collaboration","keywords":"Denotational semantics of the Actor model; Normalisation by evaluation; Denotational semantics; Programming language; Computer science; Modular design; Semantics (computer science); Axiom; Principle of compositionality; Operational semantics; Theoretical computer science; Mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001023116,0.0006806675,0.0005223884,0.0008755257,0.0009983139,0.002182508,0.001301035,0.0007962943,0.00475395],"category_scores_gemma":[0.001808501,0.000490511,0.001141381,0.0007683332,0.003922101,0.004427163,0.002635255,0.001801487,0.0007825258],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001275227,"about_ca_system_score_gemma":0.001600718,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002056309,"about_ca_topic_score_gemma":0.001921196,"domain_scores_codex":[0.9989122,0.0001917245,0.0001289979,0.0001923038,0.0004068188,0.0001680748],"domain_scores_gemma":[0.9990171,0.0003018252,0.00009213193,0.0002232571,0.0002818635,0.00008369466],"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.00002254347,0.00001823312,0.0001609771,0.00005670851,0.000007676683,0.00009563455,0.0002730865,0.00686744,0.002719134,0.9820049,0.0006329177,0.007140783],"study_design_scores_gemma":[0.00003417713,0.00006048715,0.0001430433,0.00003308397,0.00003338163,0.0001520255,0.0002010718,0.08723833,0.00761062,0.8783339,0.02613197,0.00002788496],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0199693,0.0001349625,0.9652073,0.0005894012,0.0001015071,0.00009739794,0.0001873304,0.000880351,0.01283249],"genre_scores_gemma":[0.4961831,0.0003534458,0.488623,0.0006256286,0.0001658508,0.0006004556,0.0005613144,0.0005022045,0.01238493],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00475395,"threshold_uncertainty_score":0.01590353,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1115958262895373,"score_gpt":0.4331970286915267,"score_spread":0.3216012024019893,"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."}}