Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.

Dismiss

Class/types verifier in Java Virtual Machine Specification is written in Prolog

28 views

Skip to first unread message

unread,

Jan 21, 2017, 5:22:02 PM1/21/17

Wow! Class/types verifier in Java Virtual Machine Specification is written in Prolog :)
From page 169 (hundreds of pages code of Prolog)

http://docs.oracle.com/javase/specs/jvms/se8/jvms8.pdf

unread,

Mar 2, 2017, 11:21:47 AM3/2/17

Which makes you wonder, does Java ship with a Prolog interpreter embedded somewhere inside it? Or is this more of a theoretical work.

0 new messages