Run-Time Assertion Checking with Énfasis
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...
Gardado en:
| Publicado en: | Computación y Sistemas |
|---|---|
| Principais autores: | , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado: |
Instituto Politécnico Nacional
2010
|
| Assuntos: | |
| Acceso en liña: | https://www.redalyc.org/articulo.oa?id=61519182004 |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|