{"id":"W3213724464","doi":"10.1145/3022671.2983991","title":"Call graphs for languages with parametric polymorphism","year":2016,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Call graph; Computer science; Bytecode; Programming language; Compiler; Java bytecode; Java; Scala; Graph; Program analysis; Theoretical computer science; Context (archaeology); Static analysis; Parallel computing; Java applet; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002278615,0.0001462277,0.0001764895,0.0001532298,0.00009828241,0.000142429,0.001118721,0.00006592354,0.000008297109],"category_scores_gemma":[0.0002228927,0.00007632181,0.00005590478,0.0003438133,0.00005844114,0.0003200641,0.0001193387,0.000043588,0.00008060186],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001509861,"about_ca_system_score_gemma":0.00003398063,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001984038,"about_ca_topic_score_gemma":0.0001035919,"domain_scores_codex":[0.9988769,0.00003798821,0.0001532493,0.0003634662,0.0002185494,0.0003497941],"domain_scores_gemma":[0.998288,0.0007045185,0.0001297683,0.0007153341,0.00006368093,0.0000987124],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00007172067,0.0001653507,0.04956109,0.0001277914,0.0001732366,0.0001210324,0.001268402,0.000007937714,0.001188725,0.6987445,0.006359878,0.2422104],"study_design_scores_gemma":[0.01661838,0.009954332,0.1083989,0.0002877048,0.0004573089,0.0005403255,0.00108726,0.002712317,0.03985066,0.260158,0.5540314,0.005903528],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1116443,0.002634982,0.8703942,0.004385641,0.001214286,0.001257245,0.00001928574,0.001009772,0.007440333],"genre_scores_gemma":[0.9844457,0.000008782525,0.01399237,0.0001823458,0.0001115659,0.00004639455,0.00000282884,0.00001172798,0.001198277],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8728014,"threshold_uncertainty_score":0.3112313,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02332545254051316,"score_gpt":0.2566854257306598,"score_spread":0.2333599731901466,"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."}}