{"id":"W2030003063","doi":"10.1016/j.scico.2009.09.008","title":"An architecture for generic extensions","year":2009,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Component (thermodynamics); Variety (cybernetics); Generic programming; Programming language; Interface (matter); Extension (predicate logic); Overhead (engineering); Architecture; Hierarchy; Software; Independence (probability theory); Code (set theory); Range (aeronautics); Software engineering; Operating system; Artificial intelligence; Set (abstract data type)","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.005171923,0.001031911,0.001495151,0.002535251,0.002464329,0.005980628,0.004730281,0.00315637,0.01574125],"category_scores_gemma":[0.005834816,0.001780624,0.003174081,0.002532781,0.003861441,0.01737709,0.01155222,0.004644186,0.006343961],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001805248,"about_ca_system_score_gemma":0.001659868,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001701288,"about_ca_topic_score_gemma":0.00311994,"domain_scores_codex":[0.9973034,0.0005911903,0.0003344776,0.0007028339,0.0006511916,0.0004169687],"domain_scores_gemma":[0.995291,0.0007134851,0.0001734754,0.002965268,0.0005288201,0.0003279357],"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.000336631,0.0001313732,0.001793306,0.0003540686,0.00008225533,0.0003052629,0.001567317,0.004292049,0.005248392,0.849665,0.0155695,0.1206548],"study_design_scores_gemma":[0.0001036448,0.0001259398,0.0005033377,0.0002630087,0.0002317019,0.0006441518,0.0003327386,0.05401462,0.008677997,0.6980253,0.2369501,0.0001275583],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.009277835,0.0004694177,0.9512067,0.0006276029,0.0001993568,0.0001756558,0.0002776837,0.02243979,0.01532597],"genre_scores_gemma":[0.1993491,0.001362141,0.762473,0.001351949,0.0003096922,0.0006252554,0.001944218,0.005953364,0.02663127],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.01574125,"threshold_uncertainty_score":0.05265975,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02456376039906837,"score_gpt":0.2792158792223423,"score_spread":0.2546521188232739,"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."}}