Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Stratego/XT

Known as: Spoofax, Spoofax Language Workbench 
Stratego/XT is a language and toolset for constructing stand-alone program transformation systems. It combines the Stratego transformation language… Expand
Wikipedia

Related topics

Related topics

17 relations
ASF+SDF Meta-EnvironmentAbstract syntax treeDMS Software Reengineering ToolkitList of program transformation systems
Expand

Broader (1)

Language workbench

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Demanding first-class equality for domain specific aspect languages
Domain specific aspect languages (DSALs) are programming languages that are both domain specific and aspect-oriented. However… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2014
2014
Language Design with the Spoofax Language Workbench
IDEs are essential for programming language developers, and state-of-the-art IDE support is mandatory for programming languages… Expand
  • figure 1
  • figure 4
  • figure 5
Is this relevant?
2013
2013
A Language Independent Task Engine for Incremental Name and Type Analysis
This paper is a pre-print of: Guido H. Wachsmuth, Gabriel D.P. Konat, Vlad A. Vergu, Danny M. Groenewegen, Eelco Visser. A… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
Robust Real-Time Synchronization between Textual and Graphical Editors
In modern Integrated Development Environments (IDEs), textual editors are interactive and can handle intermediate, incomplete, or… Expand
  • figure 1
Is this relevant?
2011
2011
EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax
This paper presents EpiSpin: an Eclipse plug-in for editing Promela models. It provides error markers as you type, various editor… Expand
  • figure 1
Is this relevant?
2011
2011
Building Blocks for Language Workbenches
This dissertation presents research on techniques, methods, and tool support for domain-specific language engineering. Domain… Expand
Is this relevant?
Review
2008
Review
2008
Stratego/XT 0.17. A language and toolset for program transformation
Preprint of paper published in: Science of Computer Programming (Elsevier), 72 (1-2), 2008; doi:10.1016/j.scico.2007.11.003… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
SPIN's Promela to Java Compiler: with help from Stratego
In model checking a formal model of a software system is constructed. That model is verified against a set of properties… Expand
  • figure 1.1
  • figure 1.2
  • table 1.1
  • figure 1.3
  • table 1.2
Is this relevant?
2007
2007
Spoofax: An Extensible, Interactive Development Environment for Program Transformation with Stratego/XT
Preprint accepted for publication in: SeventhWorkshop on Language Descriptions, Tools, and Applications (LDTA’07), pages 47–50… Expand
  • figure 1
Is this relevant?
Review
2003
Review
2003
Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9
  • Eelco Visser
  • Domain-Specific Program Generation
  • 2003
    • Corpus ID: 360624
Stratego/XT is a framework for the development of transformation systems aiming to support a wide range of program… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE