Login / Signup
Proof Pearl: A Verified Bignum Implementation in x86-64 Machine Code.
Magnus O. Myreen
Gregorio Curello
Published in:
CPP (2013)
Keyphrases
</>
efficient implementation
information retrieval
real time
probabilistic model
source code
theorem prover
parallel implementation
implementation details
application programming interface