{"id":"W2167680630","doi":"10.1145/2491404.2491406","title":"Efficiency of subtype test in object oriented languages with generics","year":2013,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Computer science; Programming language; Test (biology); Semantics (computer science); Typing; Object-oriented programming","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02255672,0.001159485,0.002175193,0.002627035,0.001469672,0.003803567,0.004079554,0.002274379,0.002412911],"category_scores_gemma":[0.09590813,0.001168107,0.001448613,0.00308479,0.003143078,0.008817825,0.003432301,0.001704918,0.000769672],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002522645,"about_ca_system_score_gemma":0.003862455,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006085016,"about_ca_topic_score_gemma":0.005911172,"domain_scores_codex":[0.9653016,0.01784281,0.003363782,0.002039742,0.007611806,0.00384014],"domain_scores_gemma":[0.817841,0.1188244,0.0131721,0.04155369,0.006824557,0.001784284],"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.009560425,0.001342154,0.1067189,0.001252207,0.0005161492,0.001182097,0.001845615,0.2228488,0.07378646,0.0685798,0.006664543,0.5057029],"study_design_scores_gemma":[0.0004511223,0.001181289,0.01150269,0.0001922948,0.0005344375,0.001173591,0.0007074171,0.841563,0.097471,0.04109911,0.003946265,0.0001777566],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.7857477,0.001763676,0.1964267,0.0009304648,0.0000759962,0.0001792107,0.0002731784,0.008127758,0.006475376],"genre_scores_gemma":[0.9049137,0.0004217433,0.09148658,0.000204199,0.00003841663,0.00005713273,0.0003558745,0.001393547,0.001128854],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.02255672,"threshold_uncertainty_score":0.1192928,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008265875011669218,"score_gpt":0.2345459769309719,"score_spread":0.2262801019193026,"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."}}