Multi-Stage Imperative Languages: A Conservative Extension Result.

Cristiano Calcagno Eugenio Moggi

Published in: SAIG (2000)

Keyphrases

multistage
single stage
lot sizing
stochastic programming
dynamic programming
production system
lot streaming
stochastic optimization
attack detection
np hard
finite horizon