TXL
From MaRDI portal
swMATH11319MaRDI QIDQ23265FDOQ23265
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S0167642306000669
Cited In (32)
- High-fidelity C/C++ code transformation
- Semantic mutation testing
- The third rewrite engines competition
- Declarative rewriting through circular nonterminal attributes
- Grammar-based model transformations: definition, execution, and quality properties
- Math search for the masses: multimodal search interfaces and appearance-based retrieval
- Automated generation of program translation and verification tools using annotated grammars
- Comparison and evaluation of code clone detection techniques and tools: A qualitative approach
- JastAdd
- Rascal
- Zipping strategies and attribute grammars
- CloneDigger
- Dotplot
- CReN
- ConQAT
- SHINOBI
- Sim
- GUPRO
- Kermeta
- Tom
- ASF+SDF
- KIDS
- MnM
- A survey of strategies in rule-based program transformation systems
- LCLint
- Proteus
- EMorF
- RACR
- Automated mass maintenance of a software portfolio
- GDK
- Check
- Language-oriented formal analysis: a case study on protocols and distributed systems
This page was built for software: TXL
