Was there ever a declarative formal specification of the Java class file format?
I recall seeing somethin开发者_StackOverflowg in Datalog, or was it Prolog, but cannot find it now. Was it discontinued?
The answer is YES. The JVM spec draft, version 3, does it all in Prolog.
JVMS3-DRAFT-20090512.pdf
There's Chapter 4 - The class
File Format of the Java Virtual Machine Specification. Is that what you're after?
精彩评论