4 citations · 6 across the 5 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.FL2015
Ordered Tree-Pushdown Systems
Lorenzo Clemente, Paweł Parys, Sylvain Salvati +1
We define a new class of pushdown systems where the pushdown is a tree instead of a word. We allow a limited form of lookahead on the pushdown conforming to a certain ordering rest…
cs.LO2015★ 4 cited
Using models to model-check recursive schemes
Sylvain Salvati, Igor Walukiewicz
We propose a model-based approach to the model checking problem for recursive schemes. Since simply typed lambda calculus with the fixpoint operator, lambda-Y-calculus, is equivale…