11 search results - page 3 / 3 » Propagation of JML non-null annotations in Java programs |
101
click to vote
ECOOP
2007
Springer
15 years 6 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...