Definition of "pushdown"

pushdown