swMATH9814MaRDI QIDQ21793FDOQ21793
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-540-73449-9_5
Cited In (45)
- 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
- JastAdd
- Rascal
- Rules2CP
- PORGY
- HOCL
- From Rules to Constraint Programs with the Rules2CP Modelling Language
- Zipping strategies and attribute grammars
- PMaude
- MEMSALab
- Polyp
- Veriflog
- Marvin
- PSMaude
- XCentric
- ASF+SDF
- TXL
- visone
- Scheme
- CLPGUI
- ORME
- MGS
- CLP(Flex)
- MOSBIE
- Metalevel transformation of strategies
- GP 2
- Strategic port graph rewriting: an interactive modelling framework
- Automatic Parallelization and Optimization of Programs by Proof Rewriting
- pyModelChecking
This page was built for software: Tom
