Author:
Illous Hugo,Lemerre Matthieu,Rival Xavier
Publisher
Springer International Publishing
Reference25 articles.
1. Baudin, P., Filliâtre, J.-C., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI C specification language (2008)
2. Lecture Notes in Computer Science;C Calcagno,2007
3. Calcagno, C., Distefano, D., O’Hearn, P., Yang, H.: Compositional shape analysis by means of bi-abduction. In: Symposium on Principles of Programming Languages (POPL), pp. 289–300. ACM (2009)
4. Lecture Notes in Computer Science;G Castelnuovo,2015
5. Chang, B.-Y.E., Rival, X.: Relational inductive shape analysis. In: Symposium on Principles of Programming Languages (POPL), pp. 247–260. ACM (2008)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sound Borrow-Checking for Rust via Symbolic Semantics;Proceedings of the ACM on Programming Languages;2024-08-15
2. SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories;Proceedings of the ACM on Programming Languages;2024-06-20
3. An input–output relational domain for algebraic data types and functional arrays;Formal Methods in System Design;2024-06-13
4. Advanced Memory and Shape Analyses;Computer Science Foundations and Applied Logic;2024
5. Informed Memory Access Monitoring;Performance Analysis of Parallel Applications for HPC;2023