{"id":"W3107368437","doi":"10.1145/3428276","title":"ιDOT: a DOT calculus with 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":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Initialization; Soundness; Computer science; Scala; Object (grammar); Theoretical computer science; Programming language; 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.002279234,0.000489968,0.0005623673,0.0008543899,0.001393353,0.00304237,0.00157421,0.0009081067,0.005769993],"category_scores_gemma":[0.004425436,0.0009291937,0.001310022,0.0006590742,0.003605833,0.004603935,0.00472753,0.002651469,0.001583435],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001673124,"about_ca_system_score_gemma":0.002832062,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004904561,"about_ca_topic_score_gemma":0.004141912,"domain_scores_codex":[0.9981043,0.0002346781,0.0001948205,0.0003752474,0.0008094175,0.0002814647],"domain_scores_gemma":[0.9977863,0.0006816917,0.0001737031,0.0006815796,0.0004801969,0.0001966074],"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.0001718862,0.00006676263,0.001222076,0.0001635152,0.00002461382,0.0005500269,0.0006047493,0.008056502,0.01108309,0.9298398,0.007589336,0.04062771],"study_design_scores_gemma":[0.0002053346,0.0001421548,0.0009576245,0.0001491781,0.000143681,0.0008029967,0.0001967291,0.09872849,0.04095433,0.4839711,0.3736024,0.0001460128],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009573717,0.0001710097,0.9702764,0.0003328239,0.0003561258,0.0001239067,0.0003699322,0.005683137,0.01311303],"genre_scores_gemma":[0.2938963,0.0006727946,0.6685628,0.001103797,0.000414029,0.0004185772,0.001069227,0.002948702,0.03091384],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005769993,"threshold_uncertainty_score":0.01930255,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02288651706802385,"score_gpt":0.256037180830737,"score_spread":0.2331506637627132,"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."}}