{"id":"W2166726071","doi":"10.5381/jot.2007.6.3.a2","title":"A Dynamic Operational Semantics for JVML.","year":2007,"lang":"en","type":"article","venue":"The Journal of Object Technology","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Operational semantics; Programming language; Well-founded semantics; Semantics (computer science); Formal semantics (linguistics); Computational semantics; Action semantics; Denotational semantics","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.001677706,0.00007625054,0.0001562312,0.0002457683,0.0001306112,0.00003465337,0.0009852509,0.0001052178,0.000001965396],"category_scores_gemma":[0.0001260781,0.00004537742,0.00006578923,0.0003464643,0.00009545038,0.0001195597,0.00009702655,0.0002052197,0.000008260687],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004260635,"about_ca_system_score_gemma":0.00008619579,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003241208,"about_ca_topic_score_gemma":0.00002497277,"domain_scores_codex":[0.9991786,0.00002680988,0.0003271771,0.00007815466,0.0001664978,0.0002227558],"domain_scores_gemma":[0.9990676,0.0001517585,0.0002528246,0.0002563139,0.0002434086,0.00002809636],"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.00004056762,0.00009372523,0.0006218814,0.00001882012,0.00009477924,0.00004433266,0.0007203349,0.0000794924,0.007541841,0.9172625,0.0007987886,0.07268294],"study_design_scores_gemma":[0.003194947,0.004398764,0.00255627,0.00003718967,0.0001327992,0.01287928,0.001685749,0.03255573,0.03815953,0.7893878,0.1143915,0.0006204628],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02380297,0.0005036728,0.9709662,0.003681666,0.0005820944,0.0001513453,2.001071e-7,0.00006152591,0.0002503832],"genre_scores_gemma":[0.9724817,0.00002459498,0.02715384,0.000119997,0.00007259022,0.000001856225,2.010975e-7,0.000005410288,0.0001398277],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9486787,"threshold_uncertainty_score":0.1850437,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01302267730816906,"score_gpt":0.2720342047765768,"score_spread":0.2590115274684077,"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."}}