Making Program Logics Intelligible.

John C. Reynolds

Published in: TASE (2011)

Keyphrases

expressive power
control program
inference rules
real world
similarity measure
computer science
computer programs
programming environment