Non-null references by default in the Java modeling language.
Based on our experiences and those of our peers, we hypothesized that in Java code, the majority of declarations that are of reference types are meant to be non-null. Unfortunately, the Java Modeling Language (JML), like most interface specification and object-oriented programming languages, assumes...
| 發表在: | Software engineering notes. 31, 2 (2006). |
|---|---|
| 主要作者: | |
| 格式: | Article |
| 語言: | English |
| 主題: |