pushdown

释义

下推存储器；

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)