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
• Declarative rewriting through circular nonterminal attributes
• Grammar-based model transformations: definition, execution, and quality properties
• 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
• Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval
• The Third Rewrite Engines Competition
• Language-oriented formal analysis: a case study on protocols and distributed systems

This page was built for software: TXL