Author:
Kästner Daniel,Cullmann Christoph,Gebhard Gernot,Hahn Sebastian,Karos Thomas,Mauborgne Laurent,Wilhelm Stephan,Ferdinand Christian
Publisher
Springer International Publishing
Reference16 articles.
1. AUTOSAR. Guidelines for the use of the C++14 language in critical and safety-related systems (2018)
2. Bjarne Stroustrup, H.S.: C++ Core Guidelines. https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines. Accessed Jan 2020
3. C++ ABI for Itanium: Exception Handling. https://refspecs.linuxbase.org/abi-eh-1.21.html. Accessed Jan 2020
4. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: 4$$^{\mathit{th}}$$ POPL, pp. 238–252. ACM Press, Los Angeles (1977)
5. Google C++ Style Guide. https://google.github.io/styleguide/cppguide.html. Accessed January 2020
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Support of MISRA C++ Analyzer for Reliability of Embedded Systems;ACM Transactions on Cyber-Physical Systems;2023-07-31
2. Painting the landscape of automotive software in GitHub;Proceedings of the 19th International Conference on Mining Software Repositories;2022-05-23
3. ParalOS: A Scheduling & Memory Management Framework for Heterogeneous VPUs;2021 24th Euromicro Conference on Digital System Design (DSD);2021-09