{"id":"W2963080927","doi":"10.4230/lipics.ecoop.2016.7","title":"Interprocedural Type Specialization of JavaScript Programs Without Type Analysis","year":2016,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Software Engineering Research","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Programming language; JavaScript; Compiler; Software versioning; Block (permutation group theory); Simple (philosophy); Source code; Context (archaeology); Software","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.002530643,0.0008105198,0.000893332,0.001162528,0.0007672807,0.001790107,0.002096004,0.0005932273,0.002611543],"category_scores_gemma":[0.0138153,0.0008828099,0.001248603,0.001558341,0.001425239,0.003721005,0.002394407,0.001779585,0.001259211],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009993816,"about_ca_system_score_gemma":0.002176529,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002819659,"about_ca_topic_score_gemma":0.004226581,"domain_scores_codex":[0.9962183,0.001025308,0.0003367383,0.0007433583,0.001264604,0.0004117455],"domain_scores_gemma":[0.9813442,0.004412152,0.001352079,0.01144244,0.001250118,0.0001989534],"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.001012083,0.0002985792,0.03500131,0.0007861822,0.0002305668,0.0004161526,0.001674556,0.03140976,0.1145529,0.04162876,0.006829896,0.7661592],"study_design_scores_gemma":[0.0001631032,0.0006645132,0.01579596,0.0002523548,0.0003565169,0.001451953,0.0002741249,0.560777,0.3094493,0.05843474,0.05217262,0.0002078448],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1341391,0.0005237037,0.8110126,0.0002263539,0.00008351471,0.0002079457,0.0004203136,0.04644657,0.006939932],"genre_scores_gemma":[0.6140419,0.0003122343,0.3678502,0.0003341751,0.00006762885,0.0001375116,0.001026574,0.009110563,0.007119247],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002819659,"threshold_uncertainty_score":0.01338351,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02067169632040756,"score_gpt":0.2782466223932611,"score_spread":0.2575749260728535,"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."}}