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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
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
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
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
In modern Integrated Development Environments (IDEs), textual editors are interactive and can handle intermediate, incomplete, or… Expand
  • figure 1
Is this relevant?
2011
2011
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
This dissertation presents research on techniques, methods, and tool support for domain-specific language engineering. Domain… Expand
Is this relevant?
Review
2008
Review
2008
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
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
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
  • 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?