开发者

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?

0

上一篇:

下一篇:

精彩评论

暂无评论...
验证码 换一张
取 消

最新问答

问答排行榜