{"id":"W1574404229","doi":"10.1007/3-540-45429-2_14","title":"Process-Algebraic Foundations of Aspect-Oriented Programming","year":2001,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":65,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Correctness; Computer science; Equivalence (formal languages); Weaving; Process calculus; Aspect-oriented programming; Programming language; Process (computing); Algebra over a field; Simple (philosophy); Theoretical computer science; Mathematics; Discrete mathematics; Pure mathematics","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.001129502,0.0006929976,0.0006440922,0.0009215587,0.001185502,0.003809683,0.00107968,0.0009735512,0.002965921],"category_scores_gemma":[0.002863439,0.0007526076,0.001162458,0.001503947,0.004335605,0.006621101,0.001494055,0.004210871,0.0008874865],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001089504,"about_ca_system_score_gemma":0.0009982664,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001088051,"about_ca_topic_score_gemma":0.0009349585,"domain_scores_codex":[0.9990686,0.0001952417,0.00008306805,0.0001166586,0.0004581964,0.00007840357],"domain_scores_gemma":[0.9988147,0.0006571565,0.00009255071,0.0001809843,0.0001955207,0.00005919902],"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.000003972288,0.000005837627,0.00003001374,0.00003033645,0.000003295599,0.00002121782,0.0001126407,0.0007956062,0.0002273099,0.9932863,0.0004154885,0.005067929],"study_design_scores_gemma":[0.000004704443,0.000004606135,0.00002811211,0.00001306273,0.000004329532,0.00003930692,0.00001623942,0.002550518,0.0001864822,0.9887465,0.008403081,0.000003106548],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008648444,0.003914928,0.9093475,0.002237655,0.0002829526,0.00005289688,0.00008831938,0.0003748099,0.07505247],"genre_scores_gemma":[0.5471034,0.01089236,0.4140155,0.0006294572,0.001302692,0.0003140859,0.0003689735,0.0002904529,0.02508303],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003809683,"threshold_uncertainty_score":0.009922028,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03215982808662111,"score_gpt":0.3034707142961652,"score_spread":0.2713108862095441,"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."}}