iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/pldi/VenetB04.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - CPAPER ID - DBLP:conf/pldi/VenetB04 AU - Venet, Arnaud AU - Brat, Guillaume P. TI - Precise and efficient static array bound checking for large embedded C programs. BT - Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004 SP - 231 EP - 242 PY - 2004// DO - 10.1145/996841.996869 UR - https://doi.org/10.1145/996841.996869 UR - https://doi.org/10.1145/996893.996869 ER -