面向方面程序的动态语义研究

摘要

目前,针对面向方面程序,许多研究者已定义了各种各样的形式语义.但是,没有一种语义能被软件设计者和开发者所理解.针对该问题,在已有研究的基础上,应用统一程序理论中的设计来定义面向方面的动态语义.同时,以一个例子来说明该语义的使用.