{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004961303,0.001087734,0.0007286824,0.002350312,0.002163709,0.005937944,0.002800024,0.002347277,0.005322454],"category_scores_gemma":[0.007946091,0.001002889,0.002027811,0.001675897,0.005955985,0.009196839,0.005486737,0.004594788,0.002200963],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002080321,"about_ca_system_score_gemma":0.003045419,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003371254,"about_ca_topic_score_gemma":0.001701007,"domain_scores_codex":[0.9934506,0.001846241,0.0009289572,0.0009203388,0.002292871,0.0005608482],"domain_scores_gemma":[0.9959609,0.001310662,0.0003347789,0.0008224747,0.001301461,0.0002697143],"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.00002014075,0.00001685433,0.0001206168,0.0001243616,0.00001275629,0.0001170346,0.0007332898,0.001549104,0.001809853,0.9740255,0.004542608,0.01692779],"study_design_scores_gemma":[0.00003979075,0.00003791096,0.0001410736,0.0001932102,0.00003674309,0.0005685541,0.0003322902,0.01777979,0.004354795,0.6624357,0.3140127,0.00006744092],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001481288,0.0005971106,0.9834843,0.001118615,0.0004649495,0.0001229002,0.0003667512,0.00203331,0.01033077],"genre_scores_gemma":[0.1856424,0.00175746,0.7883486,0.002145781,0.001295438,0.0009102589,0.002211561,0.003271001,0.01441742],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005937944,"threshold_uncertainty_score":0.02623814,"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."}}