The Defensive Java Virtual Machine Specification Version

Table of Contents

• [preface]
• [intro]
• [overview]
• [bit-of-acl2]
• [primitive-values]
• [state]
• [internal-operations]
• [simple-instructions-a-h]
• [simple-instructions-h-i]
• [simple-instructions-j-z]
• [tableswitch]
• [new-instance]
• [getfield]
• [getstatic]
• [invokevirtual]
• [invokespecial]
• [invokestatic]
• [method-returns]
• [run-djvm]
• [initial-djvm]
• [remarks on Java]

• Appendices
• [minor-utilities]
• [preliminaries]
• [arith]
• [define-inst-macro]
• [frame-operation-macro]

This page is URL http://www.computationallogic.com/software/djvm/html-0.5/djvm-report.html