{"id":"W2402236082","doi":"10.48550/arxiv.1405.1229","title":"Three Semantics for Modular Systems","year":2014,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Modular design; Operational semantics; Computer science; Semantics (computer science); Programming language; Well-founded semantics; Action semantics; Computational semantics; Formal semantics (linguistics); Denotational semantics; Theoretical computer science","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.004034779,0.001049293,0.0005296481,0.002028125,0.002176396,0.004101224,0.001844966,0.002090286,0.007681895],"category_scores_gemma":[0.00561693,0.000591034,0.002224517,0.001067406,0.008049886,0.01054621,0.00557622,0.003351927,0.001143778],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002754384,"about_ca_system_score_gemma":0.00157459,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001423621,"about_ca_topic_score_gemma":0.0008772631,"domain_scores_codex":[0.9962153,0.001041453,0.0003804977,0.000764972,0.00112913,0.000468627],"domain_scores_gemma":[0.9974859,0.0008181277,0.0002612616,0.0005366137,0.0006247227,0.0002733394],"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.000004083308,0.000003643071,0.00002680742,0.0000180982,0.00000395469,0.00002164514,0.0001702975,0.0003788231,0.0002128191,0.9972997,0.0002952642,0.001564796],"study_design_scores_gemma":[0.0000156102,0.00001092338,0.00003517632,0.00002255772,0.00001175521,0.00006743804,0.00008426042,0.003323639,0.0006650432,0.9816138,0.01413893,0.00001097799],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01441808,0.0006626188,0.9391645,0.002875166,0.0002512249,0.000158756,0.000264243,0.0007529033,0.04145262],"genre_scores_gemma":[0.6214098,0.0009113408,0.3609873,0.001471942,0.0004966716,0.0007206337,0.0006032212,0.0004326296,0.01296643],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007681895,"threshold_uncertainty_score":0.02569854,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07638819448597298,"score_gpt":0.1856909427067491,"score_spread":0.1093027482207761,"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."}}