{"id":"W4247693085","doi":"10.1109/icse.2001.919086","title":"On the syllogistic structure of object-oriented programming","year":2005,"lang":"en","type":"article","venue":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","topic":"Software Engineering Research","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Syllogism; Computer science; Class hierarchy; Theoretical computer science; Hierarchy; Class (philosophy); Graph; Object-oriented programming; Programming language; Artificial intelligence; Epistemology","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.000317028,0.0002620522,0.0002275207,0.0002456916,0.00007074491,0.0001184401,0.002573103,0.0001001639,0.00008480893],"category_scores_gemma":[0.00563757,0.0001737328,0.0001269799,0.0005965825,0.0001002085,0.0002658815,0.0004136001,0.000546835,0.00001111886],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001601317,"about_ca_system_score_gemma":0.00008450939,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001110306,"about_ca_topic_score_gemma":0.00000143707,"domain_scores_codex":[0.9978034,0.000008247283,0.000376774,0.000368306,0.00106224,0.0003809703],"domain_scores_gemma":[0.9979151,0.0005728446,0.0002228102,0.0003681134,0.0008352511,0.00008583705],"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.00006237673,0.0002190695,0.00615967,0.0001431258,0.0001829637,0.000001859922,0.0007310318,0.01414332,0.01164082,0.9555385,0.003233021,0.007944301],"study_design_scores_gemma":[0.002433114,0.001405108,0.04497287,0.003174545,0.00007347317,0.0001261006,0.0002630455,0.6696052,0.2450771,0.009976214,0.02088915,0.002004043],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.854993,0.00006609936,0.1370053,0.00340654,0.001772265,0.000984209,0.00006954841,0.00074328,0.0009596926],"genre_scores_gemma":[0.9656718,0.00001147044,0.03380844,0.00009246019,0.000118769,0.00002819343,0.000002446661,0.00002565859,0.0002407274],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9455622,"threshold_uncertainty_score":0.7084616,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02166830438019217,"score_gpt":0.2598943500563406,"score_spread":0.2382260456761484,"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."}}