A Product of Shape and Sequence Abstractions
No abstract available.
Related papers
- Reduced Product Combination of Abstract Domains for Shapes VMCAI 2013
- A relational approach to interprocedural shape analysis TOPLAS 2010
- DyPARS: Dynamic-Shape DNN Optimization via Pareto-Aware MCTS for Graph Variants CGO 2026
- A New Approach for Active Automata Learning Based on Apartness TACAS 2022
- Fast and precise certification of transformers PLDI 2021
- Using Functor Categories to Generate Intermediate Code POPL 1995
- Shape-Value Abstraction for Verifying Linearizability VMCAI 2009
- Shape Analysis by Predicate Abstraction VMCAI 2005