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 |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|