{"id":"W2095443555","doi":"10.1145/363516.363523","title":"Proof linking","year":2000,"lang":"en","type":"article","venue":"ACM Transactions on Software Engineering and Methodology","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Correctness; Bytecode; Programming language; Code (set theory); Implementation; Modular design; Distributed computing; Java; Set (abstract data type)","routes":{"ca_aff":true,"ca_fund":true,"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.008000394,0.001422487,0.0009974112,0.002546626,0.002546957,0.006018049,0.00401985,0.003222593,0.03745716],"category_scores_gemma":[0.0387415,0.001281257,0.002609892,0.001743734,0.003647354,0.01242534,0.009229423,0.00375526,0.01267736],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001748907,"about_ca_system_score_gemma":0.003796653,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008693186,"about_ca_topic_score_gemma":0.0007328133,"domain_scores_codex":[0.9914151,0.002655142,0.0007284482,0.00203208,0.002535048,0.0006341253],"domain_scores_gemma":[0.9630479,0.01527025,0.002193484,0.01421407,0.004651699,0.0006226457],"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.0001645719,0.0001550916,0.0009607801,0.0005504677,0.00005924742,0.0003164511,0.0007883611,0.008093162,0.006077636,0.7492722,0.01068973,0.2228723],"study_design_scores_gemma":[0.0001431698,0.0001955566,0.0003410047,0.0004929268,0.0001281578,0.0009010044,0.0002760246,0.07116184,0.03979225,0.6706156,0.2158343,0.0001183077],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003451928,0.0001804653,0.9769226,0.0005103524,0.0002067668,0.000397682,0.0001861358,0.004308522,0.01383558],"genre_scores_gemma":[0.1311052,0.000615417,0.8437042,0.0005957424,0.0002243576,0.0006763092,0.0009282036,0.001955933,0.02019462],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03745716,"threshold_uncertainty_score":0.1253067,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0799470620929626,"score_gpt":0.3050163120891167,"score_spread":0.2250692499961541,"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."}}