{"id":"W7000029382","doi":"","title":"Eager, Lazy, and Other Executions for Predicative Programming","year":2013,"lang":"en","type":"dissertation","venue":"TSpace","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Lazy evaluation; Soundness; Correctness; Predicative expression; Scheme (mathematics); State (computer science); Symbolic execution; Logic programming; Modular design; Operational semantics","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.00638344,0.0008388805,0.0006611569,0.001314728,0.001832446,0.005152841,0.001848468,0.001357553,0.003849382],"category_scores_gemma":[0.01263957,0.001022555,0.002171581,0.001241161,0.01028622,0.009508042,0.003291731,0.00590357,0.0008148518],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004355679,"about_ca_system_score_gemma":0.003409475,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003540518,"about_ca_topic_score_gemma":0.002959338,"domain_scores_codex":[0.9949973,0.001516775,0.000377167,0.0008007155,0.001946232,0.0003618147],"domain_scores_gemma":[0.9928285,0.004057211,0.0004182643,0.001870199,0.0006205651,0.0002052217],"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.00002171517,0.00001758394,0.0001769064,0.00003460914,0.000006109563,0.00003817643,0.0003455146,0.003240619,0.0006306563,0.9857273,0.0004831486,0.009277614],"study_design_scores_gemma":[0.00001777611,0.00004386256,0.0001460629,0.00007358695,0.00003163813,0.00007303309,0.0001396022,0.03780797,0.00361345,0.9381823,0.0198284,0.00004225509],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009262753,0.0007518515,0.9749054,0.00136501,0.0001354093,0.00008818377,0.00005527775,0.0009509816,0.01248505],"genre_scores_gemma":[0.3220679,0.002004141,0.6586138,0.0009196321,0.0005441798,0.0003957764,0.000196496,0.0009087252,0.01434922],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00638344,"threshold_uncertainty_score":0.03375924,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02964021371844517,"score_gpt":0.3263660147503596,"score_spread":0.2967258010319144,"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."}}