Tom
From MaRDI portal
Software:21793
No author found.
Related Items (22)
Zipping strategies and attribute grammars ⋮ Metalevel transformation of strategies ⋮ Rewriting Strategies and Strategic Rewrite Programs ⋮ Twenty years of rewriting logic ⋮ Strategy based semantics for mobility with time and access permissions ⋮ CLP(H):Constraint logic programming for hedges ⋮ A symbolic transformation language and its application to a multiscale method ⋮ Strategic port graph rewriting: an interactive modelling framework ⋮ Strategies, model checking and branching-time properties in Maude ⋮ A higher-order strategy for eliminating common subexpressions ⋮ A Rewriting Calculus for Multigraphs with Ports ⋮ A Port Graph Calculus for Autonomic Computing and Invariant Verification ⋮ Anti-patterns for rule-based languages ⋮ Strategy-Based Proof Calculus for Membrane Systems ⋮ The Third Rewrite Engines Competition ⋮ From Rules to Constraint Programs with the Rules2CP Modelling Language ⋮ Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application ⋮ Pattern Calculus ⋮ Automatic Parallelization and Optimization of Programs by Proof Rewriting ⋮ Labelled Graph Rewriting Meets Social Networks ⋮ A Higher-Order Graph Calculus for Autonomic Computing ⋮ Pattern eliminating transformations
This page was built for software: Tom
