Context-based proofs of termination for typed delimited-control operators.

Malgorzata Biernacka Dariusz Biernacki

Published in: PPDP (2009)

Keyphrases

higher order
control system
adaptive control
control structures
information retrieval
data acquisition
control problems
expert systems
edge detection
optimal control
control method