{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005091261,0.001427768,0.001053544,0.002902851,0.001158863,0.003530388,0.00300916,0.001417743,0.004666391],"category_scores_gemma":[0.01531219,0.002153073,0.002391009,0.001602377,0.002461973,0.005596051,0.002307408,0.002827088,0.001812426],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001535956,"about_ca_system_score_gemma":0.003754707,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003091359,"about_ca_topic_score_gemma":0.003258133,"domain_scores_codex":[0.992801,0.001749551,0.001176854,0.0009147387,0.002972202,0.0003857095],"domain_scores_gemma":[0.9894506,0.005179801,0.001139096,0.002472262,0.00158438,0.0001739656],"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.0003650182,0.0002359152,0.005701117,0.001672155,0.0002135469,0.001309058,0.001485657,0.04385008,0.02586765,0.5647674,0.02037098,0.3341613],"study_design_scores_gemma":[0.0002672616,0.0002833007,0.001076061,0.0007445601,0.0003105784,0.002502134,0.0002719692,0.4106771,0.05681921,0.2791555,0.2476677,0.000224683],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00322098,0.0001615326,0.9815372,0.0001672558,0.00004255029,0.0002153677,0.000436929,0.01125794,0.002960346],"genre_scores_gemma":[0.08077612,0.00037465,0.9096282,0.000395898,0.00009365374,0.0006684245,0.001765074,0.002456789,0.003841155],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005091261,"threshold_uncertainty_score":0.0269255,"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."}}