{"id":"W1993084949","doi":"10.1145/1218563.1218571","title":"A static aspect language for checking design rules","year":2007,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Programming language; Compile time; Set (abstract data type); Compiler; Aspect-oriented programming; Domain (mathematical analysis); Design language; Software","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.001234885,0.00008655676,0.0001060556,0.00007599826,0.00004327923,0.00003952234,0.0003829633,0.00002834909,0.0000035112],"category_scores_gemma":[0.001092995,0.00007408295,0.00003385367,0.0001349817,0.00001429449,0.0002039641,0.00007005686,0.00005391726,0.00001037141],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003716043,"about_ca_system_score_gemma":0.00001780864,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003768799,"about_ca_topic_score_gemma":0.000001691071,"domain_scores_codex":[0.9992801,0.00002832729,0.000124273,0.0001925946,0.00009576793,0.0002789146],"domain_scores_gemma":[0.9970712,0.002560826,0.00003165778,0.0002667909,0.00002926759,0.00004023431],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00003111161,0.00004820178,0.00005202593,0.00009790676,0.00004674706,0.00009141096,0.006103757,0.07694279,0.02236312,0.2279839,0.000986276,0.6652527],"study_design_scores_gemma":[0.00123859,0.0004822261,0.002743157,0.0000703529,0.000017049,0.00006155585,0.0009962323,0.1359018,0.4988834,0.355856,0.002618595,0.001131035],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009719009,0.0001044863,0.997372,0.00007960216,0.0001858361,0.0001780866,5.43938e-7,0.0008577696,0.0002497956],"genre_scores_gemma":[0.02279709,0.000001808722,0.9767616,0.0001344359,0.00003742344,0.00001239137,5.076917e-7,0.000009738163,0.0002450105],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6641217,"threshold_uncertainty_score":0.3021015,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07662430638491315,"score_gpt":0.3494374473544173,"score_spread":0.2728131409695042,"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."}}