{"id":"W2031422080","doi":"10.1145/2465449.2465466","title":"Correctness of intrusive data structures using mixins","year":2013,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Correctness; Computer science; Programming language; Data structure","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.01778659,0.001285877,0.001841204,0.003070955,0.002830646,0.008625691,0.003727576,0.00352451,0.002677851],"category_scores_gemma":[0.0659425,0.002322281,0.003752095,0.002763551,0.01319182,0.01837235,0.0096395,0.005276141,0.000844197],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002786262,"about_ca_system_score_gemma":0.004754819,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003865733,"about_ca_topic_score_gemma":0.002392646,"domain_scores_codex":[0.9691952,0.006746662,0.004239769,0.004218228,0.01332925,0.002270756],"domain_scores_gemma":[0.9216154,0.04471951,0.005410229,0.01836333,0.008951081,0.0009405412],"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.000266079,0.00008100483,0.005975981,0.0003438536,0.0001111886,0.0004216371,0.002093767,0.03204008,0.007713629,0.9128437,0.001371439,0.0367376],"study_design_scores_gemma":[0.00008363435,0.000119707,0.0006607097,0.0001506615,0.0001627393,0.0004492344,0.0003729142,0.1294752,0.04194291,0.8160043,0.0104687,0.0001093585],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02929709,0.0001730267,0.9656619,0.0005538904,0.00004468214,0.00009109732,0.0001193076,0.001753573,0.00230559],"genre_scores_gemma":[0.5563272,0.0005430422,0.4352303,0.000586751,0.0001738732,0.0004978931,0.0007686908,0.001410137,0.004462026],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01778659,"threshold_uncertainty_score":0.09406561,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1375610125523032,"score_gpt":0.3417602045129237,"score_spread":0.2041991919606206,"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."}}