TXL
From MaRDI portal
Cited in
(38)- Math search for the masses: multimodal search interfaces and appearance-based retrieval
- Language-oriented formal analysis: a case study on protocols and distributed systems
- Zipping strategies and attribute grammars
- The third rewrite engines competition
- Declarative rewriting through circular nonterminal attributes
- Grammar-based model transformations: definition, execution, and quality properties
- Stratego
- JastAdd
- Erlang/OTP
- S-CREAM
- ANTLR
- CC4J
- TAMPR
- Rascal
- Automated generation of program translation and verification tools using annotated grammars
- CloneDigger
- Dotplot
- CReN
- ConQAT
- SHINOBI
- Sim
- GUPRO
- Kermeta
- Tom
- ASF+SDF
- KIDS
- MnM
- Comparison and evaluation of code clone detection techniques and tools: A qualitative approach
- LCLint
- Proteus
- EMorF
- RACR
- GDK
- Check
- Automated mass maintenance of a software portfolio
- High-fidelity C/C++ code transformation
- Semantic mutation testing
- A survey of strategies in rule-based program transformation systems
This page was built for software: TXL
