Los puntos clave no están disponibles para este artículo en este momento.
Los calificadores de tipo son un mecanismo ligero y práctico para especificar y verificar propiedades del programa. En trabajos anteriores, hemos desarrollado CQUAL, una herramienta para añadir calificadores de tipo a C. En este breve artículo, describimos un complemento de Eclipse para CQUAL que permite a los programadores visualizar los resultados de la inferencia de calificadores de tipo de CQUAL y, por lo tanto, entender y resolver rápidamente posibles errores de programación.
Greenfieldboyce et al. (Thu,) estudiaron esta cuestión.