An integrated proof language for imperative programs.

Karen Zee Viktor Kuncak Martin C. Rinard

Published in: PLDI (2009)

Keyphrases

imperative programs
dynamic logic
natural language
programming language
modal logic
language learning
language processing
specification language
neural network
software engineering
modal operators