3 ms·

That was just one example of many - there's a whole cottage industry of writing formal semantics for Java. https://fsl.cs.illinois.edu/publications/bogdanas-ro

• fcurts 5y ago
  None of them are official, and I bet they make major simplifications (the one you just linked to is for Java 1.4). I doubt actual language/tooling implementors benefit much from them.