Semantic foundations of intermediate program representations
La vérification formelle de programme n'apporte pas de garantie complète si l'outil de vérification est incorrect. Et, si un programme est vérifié au niveau source, le compilateur pourrait introduire des bugs. Les compilateurs et vérifieurs actuels sont complexes. Pour simplifier l'an...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2012
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2012DENS0053/document |