Robuta

https://arxiv.org/abs/1209.1916v2

[1209.1916v2] Model-Checking of Ordered Multi-Pushdown Automata

Abstract page for arXiv paper 1209.1916v2: Model-Checking of Ordered Multi-Pushdown Automata

model checking pushdown automata ordered multi

https://mail-archive.com/github@datafusion.apache.org/msg59598.html

Re: [PR] TopK dynamic filter pushdown attempt 2 [datafusion]

pr dynamic filter pushdown attempt

https://mail-archive.com/github@datafusion.apache.org/msg64495.html

Re: [I] Physical plan pushdown for volatile predicates [datafusion]

physical plan pushdown volatile predicates

https://www.mail-archive.com/commits@doris.apache.org/msg395090.html

(doris) branch branch-3.0 updated: branch-3.0: [enhance](orc) Optimize ORC Predicate Pushdown for...

doris branch updated enhance

https://github.com/ianh/owl

GitHub - ianh/owl: A parser generator for visibly pushdown languages.

A parser generator for visibly pushdown languages. - ianh/owl

parser generator github ianh owl visibly