Program Transformation in Calculational Form.

Akihiko Takano Zhenjiang Hu Masato Takeichi

Published in: ACM Comput. Surv. (1998)

Keyphrases

program execution
artificial intelligence
information systems
metadata
multimedia
preprocessing
three dimensional
semantically equivalent
java programs
programming environment
static analysis
computer programs
theorem proving
evolutionary algorithm
database
decision trees
machine learning
databases
real time