A Formal Basis for a Program Compilation Proof Tool.

Published in: FME (2002)

Keyphrases

program understanding
formal specification
mathematical theory
formal model
formal methods
search based software testing
databases
social networks
website
starting point
computer programs
formal representation