Citation Context

...ver they do not provide any concrete specification and verification mechanism for reasoning. Understanding the control effects of the advice is another problem in modular reasoning. “Harmless” advice =-=[5]-=- assumes aspects with no side effects. Categorizing the aspects as assistants (or spectators) [4], which can(not) enhance the behavior of the base code helps with reasoning. EffectiveAdvice [11] propo...

Citation Context

...ferences, exceptions or any programming primitives that are well-understood in category theory. This could be done by using a 2-categorical version of computational monads introduced by Eugenio Moggi =-=[10]-=-—and used for example in Haskell—to extend the λ2-calculus smoothly. This 2-categorical extension can be seen as a particular case of the recent work of Martin Hyland, Gordon Plotkin and John Power on...

Citation Context

...acts for Aspects:. Use of behavioral contracts to limit the behavior of aspects for the ease of reasoning is an accepted approach, exercised in the works such as crosscut programming interfaces (XPI) =-=[8, 18]-=-, Pipa [19] and Cona [10, 15] among the others. XPI’s informal contracts in terms of constraints for the advised and the advising code, Pipa’s JML-like annotations and Cona’s contracts for both aspect...

Citation Context

...havioral contracts to limit the behavior of aspects for the ease of reasoning is an accepted approach, exercised in the works such as crosscut programming interfaces (XPI) [8, 18], Pipa [19] and Cona =-=[10, 15]-=- among the others. XPI’s informal contracts in terms of constraints for the advised and the advising code, Pipa’s JML-like annotations and Cona’s contracts for both aspects and objects are all behavio...

Citation Context

...ons of this work include: • Application of translucid contracts to other AO interfaces, specifically crosscutting programming interfaces (XPI) [17], aspect-aware interfaces (AAI) [9] and Open Modules =-=[1]-=-. • A programming idiom to apply translucid contracts to a nonAO language with built-in support for events, C#. In the rest of the paper, Section 2 provides background information about translucid con...

Citation Context

...overview of AspectJ. In Proceedings of ECOOP’01, pages 327–353, 2001. [8] Hidehiko Masuhara, Atsushi Igarashi, and Manabu Toyama. Type relaxed weaving. In Proceedings of AOSD’10, pages 121–132, 2010. =-=[9]-=- Hidehiko Masuhara and Gregor Kiczales. Modeling crosscutting in aspect-oriented mechanisms. In Proceedings of ECOOP’03, pages 2–28, 2003. 1718A Semantics for Execution Levels with Exceptions Ismael...

Citation Context

...ects into full-scale programming languages such as Java. However, aspects are very powerful and the development of a weaving mechanism becomes rapidly a very complex task. While some research efforts =-=[4, 15, 16]-=- have made significant progress on understanding some of the semantic issues involved, the algebraic explanation of aspect features has never reached the beauty and simplicity of the connection betwee...

Citation Context

... development is required to properly aspectize exception handling. A follow-up study addresses different design scenarios to aspectize exception handling in object-oriented systems [6]. Coelho et al. =-=[3]-=- study the interaction between aspects and exceptions in three systems with a Java and AspectJ versions available. They categorized the exception paths in the systems and the most common handlers stra...

Citation Context

...trary Java expression that ought to be true for the pointcut to match. The evaluation of this expression is a computation that produces join points. In higher-order aspect languages like AspectScript =-=[12]-=- and others, all pointcuts and advice are standard functions, whose application and evaluation produce join points as well. The fact that aspectual computation produces join points raises the crucial ...

Citation Context

...st satisfy that it is always possible to get to a returning state for each event evaluation. The first two properties may be checked by applying static analysis tools, adapting the tools presented in =-=[2, 5, 16, 18]-=- which work for identifying spectative or observer aspects. The dependency between events define an Event Dependency Graph [3], and cycle dependencies can be checked by analyzing this graph. Event mod...

Citation Context

...advice [5] assumes aspects with no side effects. Categorizing the aspects as assistants (or spectators) [4], which can(not) enhance the behavior of the base code helps with reasoning. EffectiveAdvice =-=[11]-=- proposes explicit advice points and composition and its typed model enforces control and data flow properties. However, its non-AO core makes it difficult to adapt it to II, AO and Ptolemy as it lack...

Citation Context

... 2009. [6] F. Filho, A. Garcia, and C. Rubira. Extracting error handling to aspects: A cookbook. In Software Maintenance, 2007. ICSM 2007. IEEE International Conference on, pages 134 –143, Oct. 2007. =-=[7]-=- F. C. Filho, N. Cacho, E. Figueiredo, R. Maranhão, A. Garcia, and C. M. F. Rubira. Exceptions and aspects: the devil is in the details. In Proceedings of the 14th ACM SIGSOFT international symposium ...

Citation Context

...ion, 2006. [5] C. Clifton and G. T. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. Technical report, Iowa State University, Department of Computer Science, 2002. =-=[6]-=- R. Douence, P. Fradet, and M. Südholt. Composition, reuse and interaction analysis of stateful aspects. In AOSD 2004, 2004. [7] J. Edmund M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT ...

Citation Context

...gory theory for software design. In this paper, category theory is used as a foundational model for programming languages, which is a completely different line of work. A full version of this article =-=[13]-=- is available. 2. THE λ2-CALCULUS 2.1 Types, terms and aspects The grammar of the λ2-calculus generated by a set of sort names S is presented in Figure 1. The sets of types 32types A ::= S | Unit | A...