|
|
|---|
|
|
|
|---|
Java values [JLS14:4].
A value is either a primitive value or a reference value [JLS14:4.1].
Since in our model we have primitive values with and without extended-exponent values [JLS14:4.2.3], here we correspondingly formalize values with and without extended-exponent values.
To avoid conflict or confusion with value,
we prefix