×

Stratego

swMATH ID: 1259
Software Authors: Visser, Eelco
Description: Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules, concrete syntax for expressing the patterns of rules in the syntax of the object language, and dynamic rewrite rules for expressing context-sensitive transformations, thus supporting the development of transformation components at a high level of abstraction.
Homepage: http://www.program-transformation.org/Stratego/WebHome
Programming Languages: Java
Operating Systems: multi-platform
Related Software: Maude; ELAN; Tom; Haskell; ATERM; ASF+SDF; OBJ3; ANTLR; TXL; JastAdd; Spoofax; Coq; K Prover; CafeOBJ; PMaude; PORGY; ML; Polyp; GHC; TAMPR
Referenced in: 74 Publications
all top 5

Referenced by 133 Authors

11 Visser, Eelco
10 Kirchner, Hélène
7 Martí-Oliet, Narciso
6 Meseguer Guaita, José
6 Verdejo, Alberto
5 van den Brand, Mark G. J.
5 Vinju, Jurgen J.
4 Andrei, Oana
4 Roşu, Grigore
4 Rubio, Rubén
3 Bravenboer, Martin
3 Durán, Francisco
3 Eker, Steven
3 Fernández, Maribel
3 Moreau, Pierre-Etienne
3 Pita, Isabel
3 Şerbănuţă, Traian Florin
2 Cordy, James R.
2 Dietrich, Dominik
2 Gnaedig, Isabelle
2 Kats, Lennart C. L.
2 Kirchner, Claude
2 Klint, Paul
2 Pinaud, Bruno
2 Roldán, Manuel
1 Alexander, Brad
1 Alexander, Perry
1 Autexier, Serge
1 Bach, Jean-Christophe
1 Balland, Emilie
1 Barnes, Janet
1 Bastoul, Cédric
1 Bettini, Lorenzo
1 Bigonha, Roberto S.
1 Bodin, Derek
1 Brabrand, Claus
1 Bradbury, Jeremy S.
1 Brauner, Paul
1 Butterfield, Andrew
1 Chapman, Roderick
1 Cirstea, Horatiu
1 Cohen, Albert
1 Cook, Andrew W.
1 Cunha, Alcino
1 de Jong, H. A.
1 de Jonge, Maartje
1 Di Iorio, Vladimir O.
1 Dijkstra, Atze
1 Dingel, Juergen
1 Dolstra, Eelco
1 Doroshenko, Anatoliy Yu.
1 Ellis, Bill J.
1 Ellison, Chucky
1 Engelen, Luc
1 Erwig, Martin
1 Escobar, Santiago
1 Findler, Robert Bruce
1 Fisher, David
1 Fissore, Olivier
1 Freudenthal, Margus
1 Frisby, Nicolas
1 Gao, Jimin
1 Girbal, Sylvain
1 Goncharov, Sergij V.
1 Groenewegen, Danny M.
1 Hedin, Görel
1 Heeren, Bastiaan
1 Hemel, Zef
1 Holdermans, Stefan
1 Hu, Zhenjiang
1 Ibanescu, Liliana
1 Ireland, Andrew
1 Jeuring, Johan
1 Johann, Patricia
1 Joosten, Sebastiaan J. C.
1 Kalleberg, Karl Trygve
1 Kieburtz, Richard B.
1 Kimmell, Garrin
1 Kopetz, Radu
1 Krishnan, Lijesh
1 Kuan, George
1 Kutsia, Temur
1 Lämmel, Ralf
1 Lerner, Sorin
1 Lucanu, Dorel
1 MacQueen, David B.
1 Magalhães, José Pedro
1 Marin, Mircea
1 Mens, Kim
1 Nahon, Fabrice
1 Namet, Olivier
1 Olivier, P. A.
1 Olmos, Karina
1 Ordóñez Camacho, Diego
1 Padawitz, Peter
1 Palomino, Miguel
1 Parello, David
1 Reis, Leonardo V. S.
1 Ren, Deling
1 Richardson, Julian
...and 33 more Authors

Referencing Publications by Year