
[ACM Press the ACM SIGPLAN 2004 conference - Washington DC, USA (2004.06.09-2004.06.11)] Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation - PLDI '04 - Precise and efficient static array bound checking for large embedded C programs
Venet, Arnaud, Brat, GuillaumeAnnée:
2004
Langue:
english
DOI:
10.1145/996841.996869
Fichier:
PDF, 223 KB
english, 2004