Weakest-precondition of unstructured programs.

Michael Barnett K. Rustan M. Leino

Published in: PASTE (2005)

Keyphrases

structured data
semi structured
computer programs
high level
information technology
database
image processing
case study
information extraction
programming environment
intermediate level
provably correct