Modular Shape Analysis for Dynamically Encapsulated Programs
Abstract elided by the publisher.
Related papers
- Thread-Modular Shape Analysis VMCAI 2009
- Hoopl: a modular, reusable library for dataflow analysis and transformation Haskell 2010
- Thread-modular shape analysis PLDI 2007
- A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions GPCE 2019
- A Storm is Coming: A Modern Probabilistic Model Checker CAV 2017
- Dynamic shape analysis via degree metrics ISMM 2009
- Shape Analysis via Second-Order Bi-Abduction CAV 2014
- Parametric Shape Analysis via 3-Valued Logic POPL 1999