Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Projects
Debugging
Std
Proof-automation
Macro-libraries
ACL2
Interfacing-tools
Hardware-verification
Software-verification
Kestrel-books
Crypto-hdwallet
Apt
Error-checking
Abnf
Fty-extensions
Isar
Kestrel-utilities
Soft
Bv
Imp-language
Event-macros
C
Java
Atj
Atj-implementation
Atj-types
Atj-java-primitive-array-model
Atj-java-abstract-syntax
Jbinop
Jmethod
Jtype
Jfield
Jexprs
Jliteral
Junop
Jlocvar
Jcunit
Jaccess
Maybe-jexpr
Jparam
Jimport
Jcinitializer
Jresult
Jstatems+jblocks
Jexpr-get-field
Jliteral-long-dec-nouscores
Nat-to-dec-chars-theorems
Jmethods-to-jcbody-elements
Jclasses-to-jcbody-elements
Jblock-locvar-final
Jblock-locvar
Jliteral-int-dec-nouscores
Jfields-to-jcbody-elements
Jblock-for
Jblock-smethod
Jblock-imethod
Jblock-ifelse
Jblock-asg-name
Jparam-list->types
Jparam-list->names
Jexpr-lit-long-dec-nouscores
Jexpr-lit-int-dec-nouscores
Jexpr-literal-string
Jexpr-literal-floating
Jexpr-literal-character
Jblock-while
Jblock-method
Jblock-if
Jblock-expr
Jblock-do
Jblock-asg
Jexpr-name-list
Jblock-throw
Jblock-return
Jparam-list
Jimport-list
Jexpr-literal-true
Jexpr-literal-null
Jexpr-literal-false
Jexpr-literal-1
Jexpr-literal-0
Jclass-list
Jblock-continue
Jtype-short
Jtype-long
Jtype-list
Jtype-int
Jtype-float
Jtype-double
Jtype-char
Jtype-byte
Jtype-boolean
Jmethod-list
Jliteral-list
Jfield-list
Jblock-list
Jblock-break
Jclasses+jcmembers
Jclass
Jcmember
Jcbody-element
Jcbody-element-list
Atj-input-processing
Atj-java-pretty-printer
Atj-code-generation
Atj-java-primitives
Atj-java-primitive-arrays
Atj-type-macros
Atj-java-syntax-operations
Atj-fn
Atj-library-extensions
Atj-java-input-types
Atj-test-structures
Aij-notions
Atj-macro-definition
Atj-tutorial
Aij
Language
Bitcoin
Ethereum
Yul
Zcash
ACL2-programming-language
Prime-fields
Json
Syntheto
File-io-light
Number-theory
Cryptography
Lists-light
Builtins
Axe
Solidity
Helpers
Std-extensions
Htclient
Typed-lists-light
Arithmetic-light
X86isa
Axe
Execloader
Math
Testing-utilities
Atj-java-abstract-syntax
Jclasses+jcmembers
Subtopics
Jclass
Java class declarations [JLS14:8.1].
Jcmember
Java class member declarations [JLS14:8.1.6].
Jcbody-element
Java class body declarations [JLS14:8.1.6].
Jcbody-element-list
Lists of Java class body declarations.