Spoofax
From MaRDI portal
Software:28851
swMATH16988MaRDI QIDQ28851FDOQ28851
Author name not available (Why is that?)
Cited In (11)
- Executable component-based semantics
- Towards ``mouldable code via nested code graph transformation
- An on-the-fly grammar modification mechanism for composing and defining extensible languages
- Formal attributes traceability in modular language development frameworks
- Implementing type systems for the IDE with Xsemantics
- Optimizing data structures in high-level programs, new directions for extensible compilers based on staging
- On the effectiveness of higher-order logic programming in language-oriented programming
- Parsing and printing of and with triples
- A domain-specific language and editor for parallel particle methods
- Static consistency checking of web applications with WebDSL
- Title not available (Why is that?)
This page was built for software: Spoofax
