A Flow-Sensitive Region Inference for CLI
No abstract available.
Related papers
- Region-Based Selective Flow-Sensitive Pointer Analysis SAS 2014
- Design and implementation of a high-performance MPI for C# and the common language infrastructure PPoPP 2008
- Flow-Sensitive Type Qualifiers PLDI 2002
- Scalable context-sensitive flow analysis using instantiation constraints PLDI 2000
- A Flow-Sensitive Refinement Type System for Verifying eBPF Programs OOPSLA 2025
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs ESOP 2020
- On flow-sensitive security types POPL 2006
- Precise Concrete Type Inference for Object-Oriented Languages OOPSLA 1994