{"id":"W3010821527","doi":"10.1145/3428243","title":"A type-and-effect system for object initialization","year":2020,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung; National Science Foundation","keywords":"Initialization; Computer science; Correctness; Programming language; Java; Scala; Object (grammar); Theoretical computer science; Algorithm; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.009818728,0.001237546,0.001619923,0.002899142,0.00299721,0.005231699,0.004070024,0.002795866,0.01436518],"category_scores_gemma":[0.01448229,0.001858491,0.003140264,0.001775969,0.005824085,0.00941114,0.006159804,0.004190169,0.00802481],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003086806,"about_ca_system_score_gemma":0.00652534,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005193033,"about_ca_topic_score_gemma":0.005320938,"domain_scores_codex":[0.9939839,0.001212201,0.0008497175,0.001480519,0.001835899,0.0006377815],"domain_scores_gemma":[0.9885881,0.003226722,0.0008500913,0.00520976,0.001748891,0.0003765333],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001513603,0.000381381,0.009407309,0.001049674,0.0002904458,0.001136787,0.001693182,0.02882603,0.02817673,0.6635998,0.0571419,0.2067832],"study_design_scores_gemma":[0.0005104637,0.0004317999,0.002509803,0.0004491301,0.0007256166,0.001449941,0.0002009935,0.1911399,0.09439847,0.3790727,0.3285301,0.0005810685],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003466296,0.000154145,0.9562678,0.0002680564,0.0002348727,0.0002764662,0.0006323428,0.03433161,0.004368359],"genre_scores_gemma":[0.1508975,0.0005432438,0.8149471,0.001207593,0.0004607602,0.0009877415,0.002347332,0.008979673,0.01962894],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01436518,"threshold_uncertainty_score":0.05192703,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02470907620312796,"score_gpt":0.2709525580646441,"score_spread":0.2462434818615162,"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."}}