遇见数据集

Modular Reasoning in Aspect-Oriented Languages

收藏
DataCite Commons2025-06-01 更新2024-07-25 收录
官方服务:

资源简介:

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
搜集汇总
数据集介绍
Modular Reasoning in Aspect-Oriented Languages 数据集图片
以上内容由遇见数据集搜集并总结生成
二维码
社区交流群
二维码
科研交流群
商业服务