TXL
From MaRDI portal
Software:23265
No author found.
Related Items (12)
Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval ⋮ High-fidelity C/C++ code transformation ⋮ Zipping strategies and attribute grammars ⋮ Automated generation of program translation and verification tools using annotated grammars ⋮ Semantic mutation testing ⋮ A survey of strategies in rule-based program transformation systems ⋮ Grammar-based model transformations: definition, execution, and quality properties ⋮ Declarative rewriting through circular nonterminal attributes ⋮ The Third Rewrite Engines Competition ⋮ Automated mass maintenance of a software portfolio ⋮ Comparison and evaluation of code clone detection techniques and tools: A qualitative approach ⋮ Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems
This page was built for software: TXL
