Towards Reasoning About Properties of Imperative Programs using Linear Logic.

Published in: CoRR (2015)

Keyphrases

imperative programs
linear logic
desirable properties
dynamic logic
intuitionistic logic
fixed point
logical framework
logic programming