{"id":"W2897141232","doi":"10.4204/eptcs.282.1","title":"A Theory of Lazy Imperative Timing","year":2018,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Lazy evaluation; Programming language; Functional programming","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.002656149,0.0009062513,0.0008898133,0.002040723,0.002054539,0.004894332,0.002295097,0.001748269,0.009452313],"category_scores_gemma":[0.009601342,0.0009447958,0.00168517,0.002002008,0.005494991,0.009405563,0.003256163,0.004586717,0.002029015],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002430593,"about_ca_system_score_gemma":0.002605368,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001458328,"about_ca_topic_score_gemma":0.001042002,"domain_scores_codex":[0.9971023,0.0005339448,0.0002506939,0.0005721815,0.001113038,0.0004278648],"domain_scores_gemma":[0.993562,0.002926411,0.0005951867,0.001258675,0.001280662,0.0003770234],"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.00000674913,0.000006596862,0.00005206624,0.00002424563,0.000004103525,0.00003396983,0.00008252675,0.001683367,0.0002893969,0.9936474,0.0006952153,0.00347433],"study_design_scores_gemma":[0.0000142722,0.00001844769,0.00003753382,0.00003103835,0.0000165466,0.00009847914,0.00004086721,0.01127384,0.0006774669,0.9763659,0.01140935,0.00001638091],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006642002,0.000753335,0.9613546,0.001022143,0.0003409864,0.00005619914,0.0001701923,0.001004096,0.02865657],"genre_scores_gemma":[0.612699,0.00259689,0.3482093,0.00165826,0.001727571,0.0005319198,0.0005804643,0.0008688651,0.03112778],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009452313,"threshold_uncertainty_score":0.03162116,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01364227060860975,"score_gpt":0.2884998462496982,"score_spread":0.2748575756410884,"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."}}