Login / Signup
Closing the Gap - Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic - Extended Version -.
Björn Engelmann
Ernst-Rüdiger Olderog
Nils Erik Flick
Published in:
CoRR (2015)
Keyphrases
</>
lambda calculus
higher order
fixed order
programming language
logic programming
neural network
dynamic logic
real time
genetic algorithm
social networks
logical framework
classical logic
predicate calculus
recursive programs