On the Validated Usage of the C++ Standard Template Library-Reference-Cited by-同舟云学术

On the Validated Usage of the C++ Standard Template Library

Published:2019-09-26 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 9th Balkan Conference on Informatics
language:
Short-container-title:

Author:

Babati Bence¹,Horváth Gábor¹,Pataki Norbert¹,Páter-Részeg Attila¹

Affiliation:

1. Eötvös Loránd University, Department of Programming Languages and Compilers, Hungary, Budapest

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3351556.3351570

Reference29 articles.

1. {n. d.}. Clang Tidy a Clang-based linting tool. https://clang.llvm.org/extra/clangtidy/. {Online; accessed 28-February-2019}. {n. d.}. Clang Tidy a Clang-based linting tool. https://clang.llvm.org/extra/clangtidy/. {Online; accessed 28-February-2019}.

2. Andrei Alexandrescu. 2001. Modern C++ Design: Generic Programming and Design Patterns Applied. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA. Andrei Alexandrescu. 2001. Modern C++ Design: Generic Programming and Design Patterns Applied. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA.

3. Matthew H. Austern. 1998. Generic Programming and the STL: Using and Extending the C++ Standard Template Library. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA. Matthew H. Austern. 1998. Generic Programming and the STL: Using and Extending the C++ Standard Template Library. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA.

4. Analysis of Include Dependencies in C++ Source Code

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Role of Implementation-Specific Static Analysis;2023 International Conference on Software and System Engineering (ICoSSE);2023-04

2. A static analysis approach for modern iterator development;Annales Mathematicae et Informaticae;2023

3. A static analysis method for safe comparison functors in C++;Annales Mathematicae et Informaticae;2020