{"id":"W793227157","doi":"","title":"Eager, lazy, and other executions for predicative programming","year":2013,"lang":"en","type":"dissertation","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Programming language; Predicative expression; Operational semantics; Lazy evaluation; Correctness; Logic programming; Soundness; Semantics (computer science); Axiomatic semantics; Theoretical computer science; Functional programming; Denotational semantics","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.005503767,0.0007763429,0.0006511274,0.001374922,0.001663241,0.004144238,0.001499896,0.001304705,0.003128757],"category_scores_gemma":[0.01155574,0.0008153225,0.002259987,0.001207291,0.01001507,0.00794083,0.002752509,0.005776474,0.000712113],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003822551,"about_ca_system_score_gemma":0.002763154,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003070262,"about_ca_topic_score_gemma":0.002543729,"domain_scores_codex":[0.9958293,0.001261561,0.0003407533,0.0006849415,0.00153053,0.0003529238],"domain_scores_gemma":[0.9937714,0.003700305,0.0003820549,0.001349047,0.0006011811,0.0001959841],"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.00001916762,0.0000174518,0.0001681926,0.00002910861,0.000006043128,0.00003808122,0.0003627707,0.003083864,0.0005866067,0.988483,0.0003776121,0.006828032],"study_design_scores_gemma":[0.00001527992,0.00003751406,0.0001460724,0.00006159188,0.00002488254,0.00006111332,0.0001160717,0.02592837,0.002364136,0.9578675,0.0133417,0.00003571232],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01288635,0.0008351648,0.9701716,0.001349514,0.0001558486,0.00009054624,0.00005720972,0.0007998299,0.01365383],"genre_scores_gemma":[0.3780184,0.001718084,0.6047975,0.0009033887,0.000565879,0.0003839552,0.0002056478,0.0007612125,0.01264594],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005503767,"threshold_uncertainty_score":0.02910709,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02464574779683043,"score_gpt":0.2858156015307262,"score_spread":0.2611698537338958,"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."}}