Stratego/XT 0.17. A language and toolset for program transformation
By Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser. Science of Computer Programming, 2008
386 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Information Systems, Software
View Paper: https://www.semanticscholar.org/paper/f11e9728f94427819a7e3c5df52e1c5af2f18775
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Paul Klint
- Jurgen J. Vinju
- Lennart C. L. Kats
- Albert Cohen
- River Riddle
- Uday Bondhugula
- Chris Lattner
- Tatiana Shpeisman
In Information Systems
- Paul Klint
- Jurgen J. Vinju
- Lennart C. L. Kats
- Chris Lattner
- Nicolas Vasilache
- Eelco Visser
- James R. Cordy
In Software
Citations in the corpus
- MLIR: Scaling Compiler Infrastructure for Domain Specific Computation (2021, neutral): “Extending, formalizing, and verifying the rewriting logic automatically would be an important next step [36], [37].”
- MLIR: A Compiler Infrastructure for the End of Moore's Law (2020, background): “Extending, formalizing, and verifying the rewriting logic automatically would be an important next step [9, 27].”
- RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation (2009, methodology): “Examples of tools that implement some of these concepts are ANTLR [15], ASF+SDF [18], CodeSurfer [1], Crocopat [4], DMS [3], Grok [11], Stratego [5], TOM [2] and TXL [7].”
- The spoofax language workbench: rules for declarative specification of languages and IDEs (2010, methodology): “We use the Stratego program transformation language [3] to describe the semantics of a language.”