ListarPonencias (Lenguajes y Sistemas Informáticos) por materia "Meaning-preserving transformation"
Mostrando ítems 1-1 de 1
-
Ponencia
A Method for Compiling and Executing Expressive Assertions
(Springer, 2004)Programming with assertions constitutes an effective tool to detect and correct programming errors. The ability of executing ...