{"id":"W1965830444","doi":"10.1145/504359.504364","title":"Class-is-type is inadequate for object reuse","year":2001,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Computer science; Reuse; Programming language; Class (philosophy); Object (grammar); Class hierarchy; Parameterized complexity; Type (biology); Theoretical computer science; Method; Hierarchy; Object-oriented programming; Type safety; Artificial intelligence; Algorithm","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.0003807111,0.0001891906,0.0002309738,0.00009184996,0.0001910027,0.0003412679,0.002392304,0.0001199855,0.00004374579],"category_scores_gemma":[0.0004261416,0.0001543282,0.00008709812,0.0003819859,0.00004123383,0.0004725342,0.0003952294,0.0001146973,0.0004452289],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002957208,"about_ca_system_score_gemma":0.00007163952,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002378482,"about_ca_topic_score_gemma":0.00008838705,"domain_scores_codex":[0.9984494,0.00005206881,0.0002669957,0.0004918032,0.0002698952,0.0004698524],"domain_scores_gemma":[0.9976634,0.0003465803,0.0001713101,0.001566473,0.0001332059,0.0001189946],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000309213,0.000560755,0.04882766,0.0005694852,0.0004616223,0.0003808153,0.03337784,0.00009213643,0.001464717,0.3073961,0.3338593,0.2727003],"study_design_scores_gemma":[0.0007971703,0.0006742555,0.001587508,0.00001390195,0.00003598798,0.00004149987,0.0001653996,0.007522538,0.002525166,0.04856145,0.937561,0.0005140736],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.477524,0.006000769,0.3643763,0.04715142,0.01691621,0.004974184,0.00004157748,0.003549913,0.07946555],"genre_scores_gemma":[0.9848837,0.0000391312,0.009906159,0.001808853,0.0003272767,0.00002501379,0.000008267654,0.00001674069,0.002984853],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6037018,"threshold_uncertainty_score":0.6293323,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05364634847250205,"score_gpt":0.2911848787384553,"score_spread":0.2375385302659533,"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."}}