{"id":"W7097068289","doi":"","title":"UNIVERSITY OF CALGARY Floey, an Intermediate Language for Optimizing Compilers","year":2008,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Compiler; Compiler construction; Syntax; Code generation; Intermediate language; Abstract syntax tree; Generator (circuit theory); Optimizing compiler; Compiler correctness","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.001132368,0.0005903753,0.000522132,0.001262326,0.001315458,0.002703528,0.001117783,0.0006094124,0.01382026],"category_scores_gemma":[0.004564642,0.0005665646,0.0006475979,0.001468767,0.001439941,0.002590845,0.001539651,0.00248112,0.004198371],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003488603,"about_ca_system_score_gemma":0.002981492,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.02038293,"about_ca_topic_score_gemma":0.02041655,"domain_scores_codex":[0.9991918,0.0001151356,0.00005987913,0.000186114,0.0003657737,0.00008123324],"domain_scores_gemma":[0.9991612,0.0002503525,0.00005770531,0.0002018161,0.0002787711,0.00005020199],"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.0001403961,0.00002696543,0.0007017596,0.0001794813,0.00001653189,0.0001360173,0.0006241145,0.01005112,0.005792099,0.7202527,0.04887506,0.2132038],"study_design_scores_gemma":[0.00006451597,0.00006197362,0.0008807875,0.0003319445,0.00002726183,0.0002368179,0.0001182221,0.04104115,0.01475388,0.2493463,0.6930671,0.00006994119],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01389827,0.004369658,0.8608973,0.003585289,0.0006899132,0.000157968,0.0007989044,0.01064967,0.104953],"genre_scores_gemma":[0.1130199,0.003736264,0.7790712,0.001270316,0.0003576238,0.0003038888,0.001508115,0.004271427,0.09646124],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02038293,"threshold_uncertainty_score":0.04623336,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02684552273127443,"score_gpt":0.2329459245501557,"score_spread":0.2061004018188812,"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."}}