Login / Signup
Towards Reasoning About Properties of Imperative Programs using Linear Logic.
Dan DaCosta
Published in:
CoRR (2015)
Keyphrases
</>
imperative programs
linear logic
desirable properties
dynamic logic
intuitionistic logic
fixed point
logical framework
logic programming