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...
Na minha lista:
| Publicado no: | Computación y Sistemas |
|---|---|
| Principais autores: | , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Instituto Politécnico Nacional
2010
|
| Assuntos: | |
| Acesso em linha: | https://www.redalyc.org/articulo.oa?id=61519182004 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|