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...