2 papers
cs.LO2019
Unification and combination of iterative insertion strategies with rudimentary traversals and failure
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen Michel Lenczner
We introduce a new class of extensions of terms that consists in navigation strategies and insertion of contexts. We introduce an operation of combination on this class which is as…
cs.LO2019
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen +1
Motivated by an ongoing project on computer aided derivation of asymptotic models governed by partial differential equations, we introduce a class of term transformations that cons…