pushdown
英 ['pʊʃdəʊn] 美 ['pʊʃdoʊn]

释义

下推存储器；

英英释义

Pushdown

• Pushdown on a cable machine

以上来源于:Wikipedia

权威例句

Visibly pushdown languages
Visibly pushdown languages
Pushdown Processes: Games and Model Checking
Pushdown processes: Games and model checking
Model-Checking Pushdown Systems
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis
Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
Efficient Algorithms for Model Checking Pushdown Systems
Efficient Algorithms for Model Checking Pushdown Systems
A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)