Hacker News
- Abstract Interpretation in a nutshell http://www.di.ens.fr/~cousot/ai/introabsint.html 2 comments compsci
- How the absence of runtime errors in the Airbus A340 primary flight control software was proved: abstract interpretation in a nutshell http://www.di.ens.fr/~cousot/ai/introabsint.html 49 comments programming
Linking pages
- GitHub - NASA-SW-VnV/ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation. https://github.com/NASA-SW-VnV/ikos 51 comments
- Security as Rust 2019 goal. The goals and 2019 roadmap of Rust… | by Sergey "Shnatsel" Davidoff | Medium https://medium.com/@shnatsel/security-as-rust-2019-goal-6a060116ba39 7 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:www.di.ens.fr
Search title: Abstract Interpretation in a Nutshell
See how to search.