A formal approach to program modification.

Published in: APSEC (2000)

Keyphrases

formal model
computer programs
software development
real time
data sets
information systems
automatic programming
program synthesis