{"id":"W2138702607","doi":"10.5555/381473.381485","title":"On the syllogistic structure of object-oriented programming","year":2001,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Syllogism; Theoretical computer science; Class hierarchy; Hierarchy; Class (philosophy); Programming language; Graph; Object-oriented programming; 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.0001221729,0.0000646719,0.00006528287,0.00006050143,0.00004312155,0.00003886222,0.0005985657,0.00002673912,0.00005689287],"category_scores_gemma":[0.0009469202,0.00003735966,0.00002479619,0.0005590151,0.00003893309,0.00005412818,0.0001197373,0.0001311909,0.00001264762],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002093488,"about_ca_system_score_gemma":0.00002635794,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002700738,"about_ca_topic_score_gemma":0.000004732346,"domain_scores_codex":[0.9992288,0.00002446435,0.00008871863,0.0001557594,0.0003035587,0.0001987508],"domain_scores_gemma":[0.998553,0.0008543697,0.00001990279,0.0004736349,0.00006287623,0.00003619793],"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.00001278198,0.00008825037,0.01479433,0.00003154137,0.0000390569,0.00004521732,0.0006438538,0.002570438,0.00329475,0.9119506,0.001675857,0.06485327],"study_design_scores_gemma":[0.003011213,0.003551375,0.3382678,0.0004785553,0.00003687772,0.0004434682,0.0005876651,0.3931284,0.127735,0.06619322,0.06424785,0.002318511],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3175472,0.00002005146,0.6810189,0.0003485816,0.0001613012,0.000165718,5.274952e-7,0.0002247736,0.0005129655],"genre_scores_gemma":[0.9837197,0.000001182108,0.0159752,0.00005084506,0.0000167109,0.000004327426,4.032561e-7,0.000004463143,0.0002271737],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8457574,"threshold_uncertainty_score":0.1523483,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01604690833001546,"score_gpt":0.261478961741084,"score_spread":0.2454320534110685,"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."}}