{"id":"W150676218","doi":"10.1007/978-3-642-35722-0_4","title":"Assignment Calculus: A Pure Imperative Language","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Programming language; Semantics (computer science); Operational semantics; Functional programming; Rewriting","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.0009754522,0.0008899447,0.0005617997,0.0009626238,0.001449087,0.003953041,0.001980343,0.0008740724,0.01092334],"category_scores_gemma":[0.001933376,0.0007445911,0.0006318453,0.001273406,0.002609781,0.005307249,0.002112362,0.003023583,0.005413509],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005377682,"about_ca_system_score_gemma":0.00204269,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009357071,"about_ca_topic_score_gemma":0.001029666,"domain_scores_codex":[0.999405,0.0001173436,0.00003927425,0.0001189411,0.0002458087,0.00007355058],"domain_scores_gemma":[0.9995522,0.0001652432,0.0000315195,0.00007334272,0.0001211999,0.00005646424],"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.00003004035,0.00003553384,0.00006366605,0.0001901196,0.000008916008,0.00006040118,0.0003446563,0.0008952749,0.002403251,0.9000868,0.02512006,0.07076131],"study_design_scores_gemma":[0.00002622152,0.00002896244,0.0001353574,0.00008861577,0.00003338224,0.0002501186,0.00006998622,0.005812371,0.002979408,0.6885496,0.3019892,0.00003667095],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003520985,0.003312721,0.9198684,0.001425589,0.001197963,0.00008018551,0.0003738583,0.004032035,0.0661884],"genre_scores_gemma":[0.1915419,0.009595436,0.5401298,0.002427451,0.003082293,0.0004922515,0.001038579,0.00376121,0.247931],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01092334,"threshold_uncertainty_score":0.03654224,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01435879484878757,"score_gpt":0.2455460031151177,"score_spread":0.2311872082663301,"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."}}