{"id":"W1498914194","doi":"10.1007/978-3-540-45099-3_11","title":"Efficient Inference of Static Types for Java Bytecode","year":2000,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Engineering Research","field":"Computer Science","cited_by":52,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Bytecode; Java bytecode; Computer science; Type inference; Programming language; Java; Static analysis; Inference; Representation (politics); Program analysis; Theoretical computer science; Algorithm; Java applet; Artificial intelligence; Java annotation","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002519948,0.001410079,0.002068685,0.002848919,0.001431132,0.003670024,0.005511506,0.00180971,0.01214296],"category_scores_gemma":[0.01435423,0.002667724,0.003755544,0.002714907,0.001835878,0.007418841,0.004016459,0.003350121,0.006460281],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001932097,"about_ca_system_score_gemma":0.002513079,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005021555,"about_ca_topic_score_gemma":0.009361416,"domain_scores_codex":[0.9957775,0.0008465321,0.0003396941,0.0006727349,0.001874538,0.0004890361],"domain_scores_gemma":[0.9891861,0.006504762,0.0003860048,0.002501507,0.001260251,0.0001614681],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0006168266,0.0002706895,0.003182665,0.0008064112,0.0002036446,0.0003450636,0.0005438888,0.02719698,0.02195632,0.1110648,0.03036984,0.8034429],"study_design_scores_gemma":[0.0001704223,0.00009970703,0.001932326,0.0002007016,0.0002921484,0.0004125915,0.0002116018,0.4701194,0.0567483,0.4419127,0.02776211,0.0001380689],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009956432,0.000354088,0.9641845,0.0002401538,0.0001352343,0.00008763531,0.0005969437,0.01971924,0.004725626],"genre_scores_gemma":[0.1843187,0.0006235086,0.7910711,0.0003902304,0.0002813098,0.000181334,0.00368865,0.007602621,0.01184249],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01214296,"threshold_uncertainty_score":0.04062223,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01949647408175968,"score_gpt":0.276019564644905,"score_spread":0.2565230905631453,"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."}}