{"id":"W2066206281","doi":"10.1145/338407.338573","title":"Verifying object initialization in the Java bytecode language","year":2000,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"Ministère de la Défense Nationale","keywords":"Java bytecode; Computer science; Java; Bytecode; Programming language; Initialization; Java Modeling Language; Object (grammar); Real time Java; Java annotation; 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.006027634,0.0008875542,0.001218951,0.001189862,0.001789728,0.005680305,0.003712417,0.002630467,0.003162666],"category_scores_gemma":[0.03700296,0.001577975,0.002119826,0.0009642816,0.004746166,0.01005452,0.003858692,0.003567723,0.001368779],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002879094,"about_ca_system_score_gemma":0.004397594,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008594322,"about_ca_topic_score_gemma":0.007680554,"domain_scores_codex":[0.9907272,0.002741077,0.000840862,0.001166211,0.003092289,0.00143225],"domain_scores_gemma":[0.960009,0.02452122,0.002617876,0.007170834,0.004982479,0.0006985635],"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.004156285,0.0009209486,0.0356768,0.001816294,0.0003825929,0.002232864,0.002949247,0.09127244,0.08747958,0.5520355,0.02204017,0.1990373],"study_design_scores_gemma":[0.0005627516,0.000374107,0.003861442,0.0003059692,0.000291861,0.0006194266,0.0005039876,0.3558838,0.2304566,0.3917489,0.01517242,0.0002187097],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1840133,0.0002707781,0.7808405,0.001063932,0.0003513629,0.0001618785,0.0004632253,0.02482832,0.008006728],"genre_scores_gemma":[0.8419685,0.0002820207,0.148911,0.0005317259,0.0001426021,0.00008484764,0.0008098895,0.003578423,0.003691057],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008594322,"threshold_uncertainty_score":0.03187758,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02293133924460484,"score_gpt":0.2660411869327882,"score_spread":0.2431098476881833,"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."}}