Tom
From MaRDI portal
Cited in
(49)- pyModelChecking
- Stratego
- JastAdd
- ELAN
- ATERM
- libDDD
- A higher-order strategy for eliminating common subexpressions
- Rascal
- Rules2CP
- PORGY
- HOCL
- Twenty years of rewriting logic
- PMaude
- MEMSALab
- Veriflog
- Polyp
- Pattern eliminating transformations
- Zipping strategies and attribute grammars
- XCentric
- Marvin
- PSMaude
- Strategies, model checking and branching-time properties in Maude
- ASF+SDF
- TXL
- visone
- A symbolic transformation language and its application to a multiscale method
- Scheme
- Metalevel transformation of strategies
- CLPGUI
- ORME
- Labelled graph rewriting meets social networks
- Rewriting strategies and strategic rewrite programs
- MGS
- Automatic Parallelization and Optimization of Programs by Proof Rewriting
- Pattern Calculus
- A higher-order graph calculus for autonomic computing
- CLP(Flex)
- CLP(\(\mathsf{H}\)): constraint logic programming for hedges
- MOSBIE
- Strategic port graph rewriting: an interactive modelling framework
- The third rewrite engines competition
- A port graph calculus for autonomic computing and invariant verification
- Strategy-based proof calculus for membrane systems
- From Rules to Constraint Programs with the Rules2CP Modelling Language
- GP 2
- A rewriting calculus for multigraphs with ports
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
- Strategy based semantics for mobility with time and access permissions
- Anti-patterns for rule-based languages
This page was built for software: Tom
