{"id":"W1748160142","doi":"","title":"Clara: partially evaluating runtime monitors at compile time tutorial supplement","year":2010,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"AspectJ; Computer science; Compile time; Compiler; Runtime verification; Static analysis; Runtime system; Context (archaeology); Programming language; Property (philosophy); Residual; State (computer science); Aspect-oriented programming; Software; Formal verification; Algorithm","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.002244665,0.001834425,0.001425364,0.001937738,0.0008565012,0.002936494,0.001915239,0.001231689,0.06208399],"category_scores_gemma":[0.01135738,0.00128942,0.001332047,0.0008382294,0.0008536783,0.003678262,0.001656642,0.002599652,0.01797637],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001772623,"about_ca_system_score_gemma":0.001728051,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002653925,"about_ca_topic_score_gemma":0.003878792,"domain_scores_codex":[0.9976991,0.0005421765,0.0001506143,0.0004664091,0.0009847593,0.0001569419],"domain_scores_gemma":[0.9936724,0.003162349,0.0002923142,0.0007589639,0.001881652,0.0002323338],"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.0004997851,0.0002017374,0.0008674095,0.0007830587,0.00009023223,0.0005615038,0.0004867924,0.01222071,0.02515633,0.1155932,0.3713564,0.4721828],"study_design_scores_gemma":[0.000135355,0.0002290652,0.001611032,0.0005250687,0.00012267,0.001146576,0.0001622834,0.1279438,0.04796118,0.09049596,0.7294416,0.0002254447],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005446828,0.002054985,0.9050452,0.002055461,0.00224083,0.0002419904,0.001936414,0.04418369,0.03679453],"genre_scores_gemma":[0.09730899,0.002026634,0.7957191,0.001379256,0.002160009,0.0005045179,0.005152241,0.01814872,0.07760049],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.06208399,"threshold_uncertainty_score":0.2076916,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02198612571411215,"score_gpt":0.3046886914802215,"score_spread":0.2827025657661094,"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."}}