Inference of User-Defined Type Qualifiers and Qualifier Rules
No abstract available.
Related papers
- Semantic type qualifiers PLDI 2005
- Type qualifier inference for java OOPSLA 2007
- A Theory of Type Qualifiers PLDI 1999
- Flow-Sensitive Type Qualifiers PLDI 2002
- Flow-insensitive type qualifiers TOPLAS 2006
- Qualified types for MLF ICFP 2005
- Linearly qualified types: generic inference for capabilities and uniqueness ICFP 2022
- Inferring ownership domains from refinements GPCE 2018