Refining semantics for multi-stage programming.

Rui Ge Ronald Garcia

Published in: GPCE (2017)

Keyphrases

multistage
single stage
dynamic programming
production system
formal semantics
stochastic programming
lot sizing
programming language
stochastic optimization
logic programming
finite horizon
semantic information
object oriented programming
average cost
lot streaming