{"id":"W2124559112","doi":"10.1007/s10515-008-0043-7","title":"Parameter reference immutability: formal definition, inference tool, and comparison","year":2008,"lang":"en","type":"article","venue":"Automated Software Engineering","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Immutability; Correctness; Computer science; Scalability; Component (thermodynamics); Inference; Object (grammar); Programming language; Abstraction; Theoretical computer science; Artificial intelligence","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.01467241,0.001566094,0.002148035,0.007332653,0.001707279,0.00573528,0.007921661,0.003663682,0.006360824],"category_scores_gemma":[0.06175685,0.001647326,0.002576777,0.005495082,0.007989756,0.01883115,0.005295845,0.005375048,0.001357176],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002039789,"about_ca_system_score_gemma":0.003127662,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001681558,"about_ca_topic_score_gemma":0.001190579,"domain_scores_codex":[0.982406,0.00471358,0.002080487,0.002373062,0.007135832,0.001290941],"domain_scores_gemma":[0.9371709,0.03396701,0.002868006,0.01940528,0.006044341,0.0005445647],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003428958,0.0002680508,0.00389579,0.0004204569,0.00008600703,0.0003884844,0.0007547575,0.01501619,0.004990218,0.8154135,0.002643538,0.15578],"study_design_scores_gemma":[0.0001258605,0.0002980152,0.001116083,0.0003577072,0.0003700573,0.001991651,0.0003554036,0.2215596,0.04273273,0.7118653,0.01900513,0.0002223926],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00896859,0.0004928528,0.9843069,0.0002798571,0.00007387783,0.00008067136,0.00008844161,0.002239927,0.003468917],"genre_scores_gemma":[0.4948525,0.001365157,0.4966227,0.0003487117,0.0003152247,0.0002837219,0.0006900688,0.001981305,0.003540702],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01467241,"threshold_uncertainty_score":0.07759607,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04144959300512138,"score_gpt":0.2640226251437893,"score_spread":0.2225730321386679,"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."}}