Telecharger Cours

Implementation of Data Flow Query Language (DFQL) - DTIC

We summarize our result with the slogan explicitly nullable programs can't be blamed. All our results are formalized in the Coq proof assistant. 2012 ACM ...



Download