The Impact of seq on Free Theorems-Based Program Transformations.

Patricia Johann Janis Voigtländer

Published in: Fundam. Informaticae (2006)

Keyphrases

data sets
computer programs
high impact
artificial intelligence
learning environment
databases
data mining
website
multiscale
data structure
information technology
static analysis
automatic programming