TXL

swMATH11319MaRDI QIDQ23265FDOQ23265

Author name not available (Why is that?)

Described by source

• The TXL source transformation language

Cited In (12)

• 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
• Zipping strategies and attribute grammars
• A survey of strategies in rule-based program transformation systems
• Automated mass maintenance of a software portfolio
• Language-oriented formal analysis: a case study on protocols and distributed systems

This page was built for software: TXL