{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002163529,0.0002206511,0.0002504069,0.00009410546,0.0001923015,0.0003056386,0.0004467436,0.0002275633,0.00001636585],"category_scores_gemma":[0.00006598623,0.0001853415,0.00008245285,0.0001545996,0.00004376019,0.0001557656,0.00005073181,0.0001505351,0.0000604504],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002728394,"about_ca_system_score_gemma":0.00009141694,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000436015,"about_ca_topic_score_gemma":0.0001121205,"domain_scores_codex":[0.9987819,0.00004316146,0.0001954193,0.0004772124,0.0001875354,0.0003148333],"domain_scores_gemma":[0.9989745,0.0000829233,0.0002583872,0.0004018261,0.0001740944,0.0001082902],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001830483,0.0001623883,0.0003362074,0.0007278526,0.0001892735,0.000003702653,0.05098513,8.505637e-7,0.000301544,0.7590562,0.01791287,0.1703057],"study_design_scores_gemma":[0.0006389781,0.0003723115,0.0005590778,0.00007987246,0.00007950628,0.00001314303,0.007156793,0.001635048,0.0008824333,0.0155324,0.9723253,0.0007251757],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007089327,0.00617185,0.9201706,0.0007324406,0.003232999,0.00649332,0.000009012821,0.00111213,0.05498831],"genre_scores_gemma":[0.4921304,0.0001159945,0.09016476,0.0003068529,0.001021431,0.005152382,0.0003615875,0.0001595968,0.410587],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9544124,"threshold_uncertainty_score":0.7558005,"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."}}