论文部分内容阅读
目前,针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是,没有一种语义能被软件设计者和开发者所理解。针对该问题,在已有研究的基础上,应用统一程序理论中的设计来定义面向方面的动态语义。同时,以一个例子来说明该语义的使用。
面向方面程序的动态语义研究
【摘 要】
：
目前,针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是,没有一种语义能被软件设计者和开发者所理解。针对该问题,在已有研究的基础上,应用统一程序理论中的设
【机 构】
：
贵州师范大学大数据与计算机科学学院,北京邮电大学智能通信软件与多媒体北京市重点实验室,北京邮电大学计算机学院
【出 处】
：
计算机科学
【发表日期】
：
2018年8期
【基金项目】
：
国家自然科学基金（61563011）, 贵州师范大学资助博士科研项目资助
其他文献
<正>2016年3月8日财会[2016]3号党中央有关部门,国务院各部委、各直属机构,军委后勤保障部、武警总部,各省、自治区、直辖市、计划单列市财政厅(局)、档案局,新疆生产建设兵
期刊
2015年10月20日财建[2015]919号各省、自治区、直辖市、计划单列市财政厅(局)、环境保护厅(局):《中央农村节能减排资金使用管理办法》已经国务院批准,现印发给你们,请遵照执
期刊
2015年4月20日财库[2015]91号各省、自治区、直辖市、计划单列市财政厅(局):为适应地方政府专项债券预算管理需要,规范地方政府专项债券会计核算,根据《国务院关于加强地方政
期刊
<正>2016年4月15日财社[2016]16号各省、自治区、直辖市、计划单列市财政厅(局)、卫生计生委,新疆生产建设兵团财务局、人口计生委:为贯彻落实党中央、国务院关于实施全面两
期刊
2015年11月2日财税〔2015〕117号各省、自治区、直辖市、计划单列市财政厅(局)、国家税务局,新疆生产建设兵团财务局:为统一煤炭采掘企业增值税进项税额抵扣政策,便于政策理
期刊
<正>2016年12月29日财关税[2016]69号各省、自治区、直辖市、计划单列市财政厅(局)、国家税务局,新疆生产建设兵团财务局,海关总署广东分署、各直属海关:为支持我国海洋石油(
2015年4月30日财资[2015]13号各省、自治区、直辖市财政厅(局):为了贯彻落实《国务院关于印发注册资本登记制度改革方案的通知》(国发[2014]7号)的有关精神,现就调整资产评估
期刊
<正>2016年4月29日财税[2016]51号各省、自治区、直辖市、计划单列市财政厅(局)、国家税务局,新疆生产建设兵团财务局:根据《维也纳外交关系公约》、《维也纳领事关系公约》
期刊
2015年11月18日财税[2015]122号各省、自治区、直辖市财政厅(局)、林业厅(局),新疆生产建设兵团财务局、林业局,内蒙古、吉林、黑龙江、大兴安岭森工(林业)集团公司:由占用征
期刊
2015年8月19日财发[2015]30号各省、自治区、直辖市、计划单列市财政厅(局)、农业综合开发办公室(局),新疆生产建设兵团财务局、农业综合开发办公室,农业部农发机构,中国农业
期刊