{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002439465,0.00007190124,0.00009139848,0.0000341511,0.00007331828,0.00006758705,0.0003632741,0.00002629473,0.0006418134],"category_scores_gemma":[0.000009529767,0.00004189526,0.000041827,0.0001697004,0.00002327434,0.0001174995,0.00005726711,0.00004802825,0.0001777036],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000183375,"about_ca_system_score_gemma":0.00001166086,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001951067,"about_ca_topic_score_gemma":0.00004590648,"domain_scores_codex":[0.9992274,0.00005286029,0.0001757793,0.0001632818,0.0002214571,0.0001591873],"domain_scores_gemma":[0.9994303,0.00006167505,0.00007408584,0.0003630507,0.00004139573,0.00002949315],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000002341412,0.00006403574,0.0004022154,0.00001178346,0.00002244371,0.000003925421,0.00281039,0.00001180265,0.0001995621,0.9319028,0.01967002,0.04489873],"study_design_scores_gemma":[0.007363117,0.005099176,0.01068401,0.00004238352,0.00008003134,0.0001186322,0.01025649,0.1308494,0.1050446,0.2189057,0.5094972,0.002059299],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07243922,0.0003943698,0.821809,0.002604895,0.0005643249,0.0008227982,0.000003228567,0.0002588037,0.1011034],"genre_scores_gemma":[0.9969591,0.000009898238,0.0008808894,0.0002293408,0.00002888371,0.00001489857,6.311207e-7,0.000003744163,0.001872594],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9245199,"threshold_uncertainty_score":0.7027406,"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."}}