{"id":"W840714229","doi":"10.71781/10055","title":"A Type-Preserving Compiler from System F to Typed Assembly Language","year":2009,"lang":"en","type":"dissertation","venue":"Open MIND","topic":"Software Engineering Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"Natural Sciences and Engineering Research Council of Canada; Fonds Québécois de la Recherche sur la Nature et les Technologies","keywords":"Programming language; Computer science; Compiler; Code generation; Dead code elimination; Assembly language; Object code; Dynamic compilation; Type safety; Modularity (biology); Software; Operating system; Key (lock)","routes":{"ca_aff":true,"ca_fund":true,"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.0006515895,0.0005223756,0.0004400898,0.0008416377,0.0007305573,0.001240527,0.0007511803,0.0005513786,0.007493336],"category_scores_gemma":[0.002322942,0.0006127114,0.0009530925,0.0006895123,0.000540569,0.00098364,0.0009166131,0.001164701,0.003297199],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000678077,"about_ca_system_score_gemma":0.002051387,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003051361,"about_ca_topic_score_gemma":0.002747605,"domain_scores_codex":[0.9994693,0.00008154334,0.00005362778,0.0001263682,0.0001772118,0.00009201212],"domain_scores_gemma":[0.9992208,0.0002049572,0.0000857749,0.0002067535,0.0002413033,0.00004036616],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0006219658,0.0002087575,0.004620733,0.001153314,0.0001040558,0.001427747,0.001724512,0.03515832,0.09887649,0.1021095,0.05534647,0.6986482],"study_design_scores_gemma":[0.0002990522,0.0008771361,0.003932808,0.000375895,0.000185605,0.003575963,0.0004009488,0.1344783,0.2189661,0.05660012,0.5800765,0.0002316956],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02422239,0.0004375649,0.9152942,0.0003280175,0.000538596,0.0001929707,0.0007079444,0.04630297,0.01197535],"genre_scores_gemma":[0.1402246,0.0007776491,0.8086705,0.0004634426,0.0001991097,0.0002980479,0.001669995,0.01149906,0.03619761],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007493336,"threshold_uncertainty_score":0.02506775,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03012887535959035,"score_gpt":0.3405785104616627,"score_spread":0.3104496351020723,"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."}}