{"id":"W2291690114","doi":"10.1145/2824234","title":"Type-Based Call Graph Construction Algorithms for Scala","year":2015,"lang":"en","type":"article","venue":"ACM Transactions on Software Engineering and Methodology","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Scala; Computer science; Bytecode; Programming language; Compiler; Call graph; Java bytecode; Graph; Algorithm; Java; Theoretical computer science; Java applet; Java annotation","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.001337481,0.001323177,0.0008501776,0.003420665,0.001720591,0.002108142,0.002231494,0.001316689,0.01066962],"category_scores_gemma":[0.009884927,0.0010807,0.002742555,0.003125144,0.001669374,0.002804026,0.002866195,0.002596258,0.00350893],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002470925,"about_ca_system_score_gemma":0.003105026,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007472736,"about_ca_topic_score_gemma":0.01031191,"domain_scores_codex":[0.997996,0.0003191729,0.0001820178,0.000429109,0.0008626084,0.0002110645],"domain_scores_gemma":[0.9933652,0.002717154,0.0005910013,0.001932539,0.001237796,0.0001562389],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003591282,0.0002211085,0.005530916,0.0005556621,0.0001636244,0.0002966629,0.0006265455,0.1022654,0.03536883,0.1180974,0.0282494,0.7082653],"study_design_scores_gemma":[0.00011879,0.00007164041,0.001682511,0.00012078,0.0001170184,0.0003770599,0.0001784762,0.7421736,0.03744832,0.1786536,0.03893293,0.0001253879],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004767095,0.00008916911,0.9760278,0.0001381451,0.00003838863,0.00009503941,0.0002764751,0.01699382,0.001574039],"genre_scores_gemma":[0.05982255,0.000149571,0.9302477,0.0001389612,0.00004156937,0.0002544983,0.001472706,0.005110921,0.002761587],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01066962,"threshold_uncertainty_score":0.03569341,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1232372336727384,"score_gpt":0.3188342743765967,"score_spread":0.1955970407038584,"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."}}