11 search results - page 3 / 3 » Propagation of JML non-null annotations in Java programs |
ECOOP
2007
Springer
13 years 9 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...