%0 Journal Article
%T Run-Time Assertion Checking with ¨¦nfasis
%A Olmedo Aguirre
%A Jos¨¦ Oscar
%A Ju¨¢rez Mart¨ªnez
%A Ulises
%J Computaci¨®n y Sistemas
%D 2010
%I Instituto Polit¨¦cnico Nacional
%X local variables are fundamental to describe and implement computer algorithms and to specify some of their properties such as correctness, termination and performance. in this paper, we address the run-time assertion checking problem involving local variables in java programs using ¨¦nfasis. ¨¦nfasis is a novel aspect-oriented programming (aop) language that introduces a join point model for crosscutting on local variables and path expressions to select sets of join points. the contribution of this work consists on showing that run-time assertion checking is more effective in ¨¦nfasis by its greater expressive power than in other approaches such as aspectj and the interface specification language jml. the greater expressiveness of ¨¦nfasis assertions arises from the finer granularity of crosscutting, defined at the expression and statement level in contrast to the coarser granularity defined at the method invocation level of aspectj. ¨¦nfasis approach characterizes not only by its non-invasiveness at the source code level, modularity, uniformity and generality are also improved in handling orthogonal crosscutting concerns.
%K program assertion
%K formal grammars
%K local variable crosscutting
%K local variable pointcut
%K aspect-oriented programming.
%U http://www.scielo.org.mx/scielo.php?script=sci_abstract&pid=S1405-55462010000100004&lng=en&nrm=iso&tlng=en