Equational axiomatization of call-by-name delimited control.

Yukiyoshi Kameyama Asami Tanaka

Published in: PPDP (2010)

Keyphrases

control system
control strategy
theorem proving
multiscale
dynamic programming
control method
databases
neural network
real world
machine learning
information retrieval
genetic algorithm
probabilistic model
process control