4 ms·
Sort of related, here is a formalization of the JVM in ACL2: http://www.cs.uwyo.edu/~cowles/jvm-acl2/ http://www.cs.uwyo.edu/~cowles/jvm-acl2/
by calcnerd256 17y ago
Sort of related, here is a formalization of the JVM in ACL2:
http://www.cs.uwyo.edu/~cowles/jvm-acl2/ http://www.cs.uwyo.edu/~cowles/jvm-acl2/