Deriving Programs by Combining and Adapting Refinement Scripts.

Published in: APSEC (1995)

Keyphrases

databases
image processing
database systems
image sequences
optimal solution
computer programs
programming environment
automatic programming