Inference of User-Defined Type Qualifiers and Qualifier Rules
Authors:
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 264-278
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Inference of User-Defined Type Qualifiers and Qualifier Rules2006
- Semantic type qualifiers2005
- Symbolic Implementation of the Best Transformer2004
- Symbolically Computing Most-Precise Abstract Operations for Shape Analysis2004
- An effective theory of type refinements2003
- Flow-sensitive type qualifiers2002
- A theory of type qualifiers1999
- Type inference with constrained typesTheory and Practice of Object Systems, 1999
- Construction of abstract state graphs with PVS1997
- Refinement types for ML1991