Author:
Babati Bence,Pataki Norbert
Reference11 articles.
1. M. H. Austern, Generic Programming and the STL, (Addison-Wesley, 1998).
2. Analysis of Include Dependencies in C++ Source Code
3. STLlint: lifting static checking from languages to libraries
4. G. Horváth and N. Pataki, Clang matchers for verified usage of the C++ Standard Template Library, Annales Mathematicae et Informaticae 44, pp. 99–109 (2015).
5. G. Horváth and N. Pataki, “Source language representation of function summaries in static analysis”, in Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, pp. 6(1)–6(9) (2016).
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献