Types for Hierarchic Shapes
No abstract available.
Related papers
- Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks APLAS 2012
- On Hierarchical Communication Topologies in the \pi -calculus ESOP 2016
- Determining the Idle Time of a Tiling POPL 1997
- Near Optimal Hierarchical Encoding of Types ECOOP 1997
- Shapely Types and Shape Polymorphism ESOP 1994
- Lightweight Shape Analysis Based on Physical Types VMCAI 2022
- Type Dispatch for Named Hierarchical Types ICFP 1999
- Shape Types POPL 1997