<p>This PhD defense presentation presents a two-part approach that enables modular reasoning in aspect-oriented programming languages.</p> <p>The full thesis text is available at: http://dx.doi.org/10.6084/m9.figshare.1202239</p
The continuous need for more ambitious, more complex, and more dependable software systems demands m...
Aspect-Oriented Programming is a topic of growing interest, since its presentation in 1997, and sign...
Aspect-oriented software development is motivated by the desire to localize definitions of independe...
<p>This presentation gives an overview of my PhD research; its main goal is to provide an approach t...
<p>Aspect-oriented programming aims to separate crosscutting concerns into their own modules, called...
Aspects cut new interfaces through the primary decomposition of a system. This means that in the pre...
Advice in aspect-oriented programming helps programmers modularize crosscutting concerns by allowing...
In current aspect-oriented languages, separate compilation and modular reasoning are not possible. T...
The obliviousness property of AspectJ conflicts with the ability to reason about an AspectJ program ...
To reason about a program means to state or conclude, by logical means, some properties the program ...
Many programs have crosscutting concerns for which neither procedural nor object-oriented programmin...
In previous work, we and others have studied how aspects can implement important cross-cutting conce...
Abstract—In current aspect-oriented systems, aspects usually carry, through their pointcuts, explici...
Several proposals have advocated notion of aspect-oriented (AO) interfaces to solve modular reasonin...
The continuous need for more ambitious, more complex, and more dependable software systems demands m...
The continuous need for more ambitious, more complex, and more dependable software systems demands m...
Aspect-Oriented Programming is a topic of growing interest, since its presentation in 1997, and sign...
Aspect-oriented software development is motivated by the desire to localize definitions of independe...
<p>This presentation gives an overview of my PhD research; its main goal is to provide an approach t...
<p>Aspect-oriented programming aims to separate crosscutting concerns into their own modules, called...
Aspects cut new interfaces through the primary decomposition of a system. This means that in the pre...
Advice in aspect-oriented programming helps programmers modularize crosscutting concerns by allowing...
In current aspect-oriented languages, separate compilation and modular reasoning are not possible. T...
The obliviousness property of AspectJ conflicts with the ability to reason about an AspectJ program ...
To reason about a program means to state or conclude, by logical means, some properties the program ...
Many programs have crosscutting concerns for which neither procedural nor object-oriented programmin...
In previous work, we and others have studied how aspects can implement important cross-cutting conce...
Abstract—In current aspect-oriented systems, aspects usually carry, through their pointcuts, explici...
Several proposals have advocated notion of aspect-oriented (AO) interfaces to solve modular reasonin...
The continuous need for more ambitious, more complex, and more dependable software systems demands m...
The continuous need for more ambitious, more complex, and more dependable software systems demands m...
Aspect-Oriented Programming is a topic of growing interest, since its presentation in 1997, and sign...
Aspect-oriented software development is motivated by the desire to localize definitions of independe...
DOI
Add to ORKG