Transformation of Left Terminating Programs.

Annalisa Bossi Nicoletta Cocco Sandro Etalle

Published in: LOPSTR (1999)

Keyphrases

automatic programming
database
databases
special case
real time
digital libraries
computer programs
linear transformation
transformation rules
intermediate level
control structures