Author:
Bonichon Richard,Canet Géraud,Correnson Loïc,Goubault Eric,Haucourt Emmanuel,Hirschowitz Michel,Labbé Sébastien,Mimram Samuel
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Aiken, A., Foster, J.S., Kodumal, J., Terauchi, T.: Checking and inferring local non-aliasing. In: PLDI, pp. 128–140 (2003)
2. Baier, C., Katoen, J.P.: Principles of Model-Checking. MIT Press, Cambridge (2008)
3. Lecture Notes in Computer Science;T. Balabonski,2010
4. Ball, T., Rajamani, S.K.: The slam project: debugging system software via static analysis. In: POPL, pp. 1–3 (2002)
5. Bardin, S., Finkel, A., Leroux, J., Petrucci, L.: Fast: acceleration from theory to practice. STTT 10(5), 401–424 (2008)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献