Some trade-offs in reducing the overhead of assertion run-time checks via static analysis | Publicación