{"id":"W2020142017","doi":"10.1145/1251535.1251548","title":"Dynamic purity analysis for java programs","year":2007,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Memoization; Java; Static analysis; Code (set theory); Programming language; Property (philosophy); Byte; Range (aeronautics)","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.002355736,0.0004331632,0.0004729177,0.003876658,0.001467305,0.001944853,0.0009343437,0.0004433383,0.001613101],"category_scores_gemma":[0.01025821,0.0003982125,0.0007931745,0.002334582,0.001504913,0.002823662,0.001842888,0.001147189,0.0002126776],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001613485,"about_ca_system_score_gemma":0.001409595,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003746964,"about_ca_topic_score_gemma":0.003498679,"domain_scores_codex":[0.9954716,0.0008343927,0.0001887371,0.0003753632,0.002642077,0.0004878975],"domain_scores_gemma":[0.9905899,0.004860764,0.001190685,0.001263363,0.001914455,0.0001808729],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0009653763,0.0004199813,0.07073669,0.0006254267,0.0002509699,0.00055822,0.002410644,0.1400447,0.09384517,0.3659604,0.00552815,0.3186543],"study_design_scores_gemma":[0.0000450067,0.000208443,0.01989842,0.0001139385,0.000199572,0.0006254968,0.0005587223,0.6832272,0.1199829,0.1557484,0.01927373,0.0001182016],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.345573,0.0007070532,0.6338063,0.0004412227,0.00002755299,0.0001014903,0.0006946785,0.004896048,0.01375268],"genre_scores_gemma":[0.8699721,0.0002848249,0.1258578,0.0001095191,0.00003517627,0.0001112306,0.0006344122,0.000820139,0.002174728],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003876658,"threshold_uncertainty_score":0.0124585,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02441541608028822,"score_gpt":0.2784846515553667,"score_spread":0.2540692354750784,"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."}}