Data · dataset · 2015
Modular Reasoning in Aspect-Oriented Languages
Listed in DataCite
Aspect-oriented programming aims to separate crosscutting concerns into their own modules, called aspects.
Description
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.
Links
Where it is published
- Repository landing page figshare.com/articles/dataset/Modular_Reasoning_in_Aspect_Oriented_Language… ↗
landing page · from DataCite
- DOI doi.org/10.6084/m9.figshare.1477876 ↗
DOI / persistent id · from DataCite
Documentation and papers
Catalogue records · 2
- DataCite API api.datacite.org/dois/10.6084/m9.figshare.1477876 ↗
metadata API · from DataCite
- DataCite Commons commons.datacite.org/doi.org/10.6084/m9.figshare.1477876 ↗
catalogue entry · from DataCite
Topics
- Stated by source
- Computer and information sciences
- Inferred from text
- Software engineering 69%
Provenance · 1 source records, 10 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| DataCite | 10.6084/m9.figshare.1477876 | 14 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · DataCite | connector:datacite@1.0.0 | /data/attributes/rightsList |
| byte_size | source · DataCite | connector:datacite@1.0.0 | |
| concepts[field].anzsrc:group:4612 | enrichment · DataCite | taxonomy-embedding@1.1.0 | title+keywords+description (69%) |
| concepts[field].fos:computer-and-information-sciences | source · DataCite | connector:datacite@1.0.0 | |
| created_date | source · DataCite | connector:datacite@1.0.0 | |
| description | source · DataCite | connector:datacite@1.0.0 | /data/attributes/descriptions |
| license | source · DataCite | connector:datacite@1.0.0 | /data/attributes/rightsList |
| publication_date | source · DataCite | connector:datacite@1.0.0 | /data/attributes/dates |
| title | source · DataCite | connector:datacite@1.0.0 | /data/attributes/titles/0/title |
| updated_date | source · DataCite | connector:datacite@1.0.0 |