Capture-Avoiding and Hygienic Program Transformations (incl. Proofs).

Sebastian Erdweg Tijs van der Storm Yi Dai

Published in: CoRR (2014)

Keyphrases

computer programs
databases
machine learning
real time
neural network
genetic algorithm
artificial intelligence
image processing
bayesian networks
hidden markov models
inductive logic programming