{"id":"W2118731458","doi":"10.1109/enabl.2000.883727","title":"On the implementation of a stand-alone Java/sup TM/ bytecode verifier","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Programming language; Java; Bytecode; Process (computing); Interface (matter); Software engineering; Operating system","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.006269994,0.0005559821,0.0006327339,0.0007361251,0.0009770334,0.002826305,0.002610968,0.00152409,0.01114933],"category_scores_gemma":[0.01198141,0.00105834,0.0008314406,0.0006588644,0.001341356,0.004706418,0.001774013,0.002844064,0.004385713],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009145466,"about_ca_system_score_gemma":0.001997974,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001564031,"about_ca_topic_score_gemma":0.001816504,"domain_scores_codex":[0.9958897,0.001086923,0.0003118919,0.0004641085,0.00186855,0.0003789062],"domain_scores_gemma":[0.9895628,0.005674232,0.0005446242,0.002544002,0.001450575,0.0002237213],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001700076,0.0006965108,0.005202902,0.001059333,0.0001960644,0.002298444,0.00263882,0.01897081,0.1832041,0.2398376,0.02893713,0.5152582],"study_design_scores_gemma":[0.0007028129,0.001545742,0.003089248,0.0006372693,0.0003520923,0.002853384,0.0003460282,0.2514302,0.5189635,0.06172834,0.1580527,0.0002988995],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01345977,0.0001418646,0.9655682,0.0004520979,0.0001107134,0.0001966288,0.0001004363,0.01600736,0.003962908],"genre_scores_gemma":[0.1923693,0.0004479802,0.7878853,0.0007506651,0.00009068208,0.0003058937,0.0005951939,0.00439511,0.01315975],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01114933,"threshold_uncertainty_score":0.03729826,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03551830837586398,"score_gpt":0.2697703707382467,"score_spread":0.2342520623623827,"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."}}