Primitive-conversions
Java primitive conversions [JLS14:5.1.2-4].
We formalize the Java primitive conversions between integral types.
We also provide abstract notions of
the Java primitive conversions that involve floating-point values,
as a placeholder for a more precise formalization of them.
Subtopics
- Primitive-narrowing-conversions
- Java primitive narrowing conversions [JLS14:5.1.3].
- Primitive-widening-conversions
- Java primitive widening conversions [JLS14:5.1.2].
- Primitive-widening-narrowing-conversions
- Java primitive widening and narrowing conversions [JLS14:5.1.4].
