Enlaces: |
![](http://science-h.com/sh/assets/temas/umad/img/tema/globe.png)
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…
|