Tom
From MaRDI portal
Software:21793
swMATH9814MaRDI QIDQ21793FDOQ21793
Author name not available (Why is that?)
Cited In (22)
- Twenty years of rewriting logic
- Strategy-Based Proof Calculus for Membrane Systems
- Anti-patterns for rule-based languages
- A Port Graph Calculus for Autonomic Computing and Invariant Verification
- A symbolic transformation language and its application to a multiscale method
- Pattern eliminating transformations
- A Rewriting Calculus for Multigraphs with Ports
- The third rewrite engines competition
- A higher-order strategy for eliminating common subexpressions
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
- Strategies, model checking and branching-time properties in Maude
- A higher-order graph calculus for autonomic computing
- Rewriting Strategies and Strategic Rewrite Programs
- Strategy based semantics for mobility with time and access permissions
- Pattern Calculus
- From Rules to Constraint Programs with the Rules2CP Modelling Language
- Zipping strategies and attribute grammars
- Metalevel transformation of strategies
- Labelled Graph Rewriting Meets Social Networks
- Strategic port graph rewriting: an interactive modelling framework
- Automatic Parallelization and Optimization of Programs by Proof Rewriting
- CLP(H):Constraint logic programming for hedges
This page was built for software: Tom
