Modular Reasoning in Aspect-Oriented Languages
收藏数据链接:
官方服务:
资源简介:
Aspect-oriented programming aims to separate crosscutting concerns into their own modules, called aspects. While aspects can achieve this at a syntactic level, this is done at the expense of modular reasoning: Whenever a method call is made, all aspects should be inspected to determine whether or not that call's behaviour will be affected by an aspect. To restore modular reasoning, we present a two-part approach that does not affect the programming language itself, but rather governs how to write contracts for aspect-oriented programs. Presented at SATToSE'15.
提供机构:
figshare创建时间:
2016-01-20
搜集汇总
数据集介绍

以上内容由遇见数据集搜集并总结生成



