Author:
Maalej Maroua,Taft Tucker,Moy Yannick
Publisher
Springer International Publishing
Reference13 articles.
1. AdaCore: Access value ownership and parameter aliasing (2018).
http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0240-1.txt
2. AdaCore, Thales: Implementation guidance for the adoption of SPARK (2017).
https://www.adacore.com/books/implementation-guidance-spark
3. Balasubramanian, A., Baranowski, M.S., Burtsev, A., Panda, A., Rakamaric, Z., Ryzhyk, L.: System programming in rust: Beyond safety. In: Proceedings of the 16th Workshop on Hot Topics in Operating Systems, HotOS 2017, Whistler, BC, Canada, 8–10 May 2017, pp. 156–161 (2017)
4. Lecture Notes in Computer Science;M Barnett,2006
5. Grossman, D., Morrisett, J.G., Jim, T., Hicks, M.W., Wang, Y., Cheney, J.: Region-based memory management in cyclone. In: Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, 17–19 June 2002, pp. 282–293 (2002)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. HOL4P4: Mechanized Small-Step Semantics for P4;Proceedings of the ACM on Programming Languages;2024-04-29
2. PyGuard: Finding and Understanding Vulnerabilities in Python Virtual Machines;2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE);2021-10
3. An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components;IEEE Systems Journal;2020-06
4. Verification of Programs with Pointers in SPARK;Formal Methods and Software Engineering;2020
5. SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs;2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE);2019-11