Tom
From MaRDI portal
Software:21793
swMATH9814MaRDI QIDQ21793FDOQ21793
Author name not available (Why is that?)
Cited In (22)
- Twenty years of rewriting logic
- Anti-patterns for rule-based languages
- A symbolic transformation language and its application to a multiscale method
- Pattern eliminating transformations
- Rewriting strategies and strategic rewrite programs
- The third rewrite engines competition
- A higher-order strategy for eliminating common subexpressions
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
- CLP(\(\mathsf{H}\)): constraint logic programming for hedges
- Strategy-based proof calculus for membrane systems
- Labelled graph rewriting meets social networks
- Strategies, model checking and branching-time properties in Maude
- A higher-order graph calculus for autonomic computing
- A rewriting calculus for multigraphs with ports
- A port graph calculus for autonomic computing and invariant verification
- 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
- Strategic port graph rewriting: an interactive modelling framework
- Automatic Parallelization and Optimization of Programs by Proof Rewriting
This page was built for software: Tom
