News for hackers. Stuff that matters.
Re:Pyjion – A Python JIT Compiler by chrisseaton on Tuesday November 09, 2021 @05:22PM (#29168315)
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-rosu-2015-...

Re:Pyjion – A Python JIT Compiler by fcurts on Tuesday November 09, 2021 @05:29PM (#29168392)
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.