Program Transformation in Constructive Type Theory.

Published in: ACM SIGPLAN Notices (1995)

Keyphrases

computational model
database
data structure
theoretical framework
databases
genetic algorithm
multiscale
optimal solution
relational databases
theoretical foundation
java programs
type checking