Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks
Abstract elided by the publisher.
Related papers
- On Hierarchical Communication Topologies in the \pi -calculus ESOP 2016
- Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations OOPSLA 2009
- Register Allocation via Hierarchical Graph Coloring PLDI 1991
- Dynamic shape analysis via degree metrics ISMM 2009
- Types for Hierarchic Shapes ESOP 2006
- DiggerBees: Depth First Search Leveraging Hierarchical Block-Level Stealing on GPUs PPoPP 2026
- Parametric Shape Analysis via 3-Valued Logic POPL 1999
- Mechanically Proving Determinacy of Hierarchical Block Diagram Translations VMCAI 2019