{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004588872,0.0001081354,0.0001385474,0.0001115322,0.0001499777,0.00004133448,0.0003719082,0.0000951539,0.00004732029],"category_scores_gemma":[0.0001758573,0.0001133566,0.00004304065,0.000233588,0.00002094779,0.0001301601,0.000008075182,0.0002511673,0.00001481187],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001484543,"about_ca_system_score_gemma":0.00001676671,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006748719,"about_ca_topic_score_gemma":5.55423e-7,"domain_scores_codex":[0.9991822,0.0001023905,0.0001519633,0.0002912814,0.00007801302,0.0001941965],"domain_scores_gemma":[0.9982975,0.001147199,0.00001994082,0.0004467955,0.00002279149,0.00006582191],"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.000005437557,0.00002600193,0.00002536042,0.00002462696,0.00002033109,0.000003211479,0.0008758584,0.04264443,0.0001517869,0.00288325,0.000008008397,0.9533317],"study_design_scores_gemma":[0.002731434,0.001089382,0.007640069,0.0004951074,0.0001218223,0.001384392,0.0001350438,0.6450867,0.06325231,0.02956621,0.2459452,0.002552252],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01206101,0.0001627125,0.986554,0.0002851352,0.0003879011,0.00006211019,0.00000104299,0.0004562014,0.00002989681],"genre_scores_gemma":[0.1011606,0.00006330212,0.8983499,0.0002149344,0.00004721239,0.0000172502,7.859919e-7,0.000009250524,0.000136795],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9507794,"threshold_uncertainty_score":0.4622547,"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."}}