Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL.

Nicole Rauch Burkhart Wolff

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

theorem prover
natural deduction
programming language
open source
theorem proving
development environment
neural network
social networks
web services
real time
relational databases
source code
database applications
inference rules
strongly typed