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...
-д хадгалсан:
| -д хэвлэсэн: | Computación y Sistemas |
|---|---|
| Үндсэн зохиолчид: | , |
| Формат: | Artigo |
| Хэл сонгох: | Inglês |
| Хэвлэсэн: |
Instituto Politécnico Nacional
2010
|
| Нөхцлүүд: | |
| Онлайн хандалт: | https://www.redalyc.org/articulo.oa?id=61519182004 |
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|