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 pe...
[发布日期] [发布机构]
[效力级别] [学科分类] 电子、光学、磁材料
[关键词] Program assertion;formal grammars;local variable crosscutting;local variable pointcut;aspect-oriented programming. [时效性]
