On proving syntactic properties of CPS programs.

Olivier Danvy Belmina Dzafic Frank Pfenning

Published in: Electron. Notes Theor. Comput. Sci. (1999)

Keyphrases

desirable properties
bayesian networks
neural network
real world
machine learning
genetic algorithm
learning algorithm
artificial intelligence
web services
natural language
evolutionary algorithm
rough sets
domain specific
logic programs