{"id":"W2096875800","doi":"10.1109/pacrim.1995.519426","title":"C as a target for WAM-based Prolog compilation","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Prolog; Programming language; Computer science; Architecture","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001776069,0.00007325739,0.00009337792,0.00004187964,0.0000893856,0.00009791888,0.0002885038,0.00004884765,0.0001024438],"category_scores_gemma":[0.00002536836,0.00005507829,0.0000513399,0.0001262704,0.00001664763,0.0001446486,0.00002715929,0.00003358141,0.0002958566],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001448618,"about_ca_system_score_gemma":0.00001449351,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001811656,"about_ca_topic_score_gemma":0.000006091809,"domain_scores_codex":[0.9993184,0.00002601818,0.0001280657,0.0002173969,0.0001195387,0.0001905491],"domain_scores_gemma":[0.9995434,0.00005184105,0.00005125522,0.0002416948,0.00006382373,0.00004802501],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005843393,0.0001423628,0.002021787,0.00003230692,0.00001095172,0.000003749039,0.0003332966,0.000163316,0.000111776,0.9516994,0.01385902,0.03161613],"study_design_scores_gemma":[0.0006327681,0.0004820124,0.0002303196,0.000001108454,0.000002905618,0.000006004712,0.000007452189,0.7000135,0.00159022,0.04421826,0.2526561,0.0001593275],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0003202718,0.00006318316,0.9676985,0.001170843,0.0002689816,0.0004398803,4.352524e-7,0.0002717462,0.02976616],"genre_scores_gemma":[0.9430507,3.939241e-7,0.05294751,0.0005514782,0.00007094986,0.00007257643,0.00000528694,0.00000443298,0.003296608],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9427305,"threshold_uncertainty_score":0.3802737,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03748862381338564,"score_gpt":0.2520302479877187,"score_spread":0.2145416241743331,"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."}}