Dependent types and program equivalence.

Limin Jia Jianzhou Zhao Vilhelm Sjöberg Stephanie Weirich

Published in: POPL (2010)

Keyphrases

relational databases
program execution
database
neural network
real world
data mining
genetic algorithm
social networks
image sequences
multiscale
mobile robot
static analysis