{"id":"W2027222319","doi":"10.1145/1286821.1286823","title":"Encapsulating objects with confined types","year":2007,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"McGill University; Purdue University; Deutscher Akademischer Austauschdienst; National Science Foundation","keywords":"Computer science; Code refactoring; Programming language; Compiler; Java; Object-oriented programming; Encapsulation (networking); Source code; Software; Software engineering","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007024878,0.0002098233,0.0002502683,0.0001490175,0.0003158993,0.0004238875,0.0003921582,0.0001067898,0.000004672699],"category_scores_gemma":[0.00002643619,0.0001506641,0.0000546278,0.0003828101,0.00006095572,0.0002124321,0.0000131268,0.0001847705,0.00001487814],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002833668,"about_ca_system_score_gemma":0.00003093197,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006608827,"about_ca_topic_score_gemma":0.0002424123,"domain_scores_codex":[0.998466,0.00006095835,0.0002984394,0.000422272,0.00030323,0.0004491541],"domain_scores_gemma":[0.9988493,0.0001901191,0.0001278029,0.000595484,0.00008832766,0.0001489936],"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.00003830076,0.0001630358,0.001136998,0.0002305973,0.0001571749,0.000204238,0.006455296,0.0001990727,0.0007016044,0.04985682,0.00001005609,0.9408468],"study_design_scores_gemma":[0.03124261,0.03105627,0.02816837,0.002688061,0.001557648,0.01589297,0.2345867,0.07172219,0.04819127,0.01068554,0.5063721,0.01783627],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01523099,0.001192838,0.9797363,0.00008801919,0.0004172364,0.0005639741,9.167666e-7,0.0004938997,0.002275816],"genre_scores_gemma":[0.9852056,0.000009493856,0.01370367,0.00004243278,0.00009225337,0.00004817908,0.000002705691,0.00001837193,0.000877302],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9699746,"threshold_uncertainty_score":0.6143903,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0178246464309781,"score_gpt":0.2677947856153134,"score_spread":0.2499701391843354,"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."}}