A deductive program transformation system.

Phillip C.-Y. Sheu Song Bong Yoo

Published in: SEKE (1994)

Keyphrases

functional programs
relational databases
linear transformation
search engine
e learning
test cases
database
real time
case study
bayesian networks
object oriented
computer programs
programming environment
transformation rules
program execution