Using Multiple Graphs of Programs to Modify Specifications.

Takahiro Nakanishi Motoshi Saeki

Published in: APSEC (1999)

Keyphrases

databases
similarity measure
recursive programs
database
case study
data structure
logic programs
graph matching
control flow