Stem stratego$ (all stems)

6 papers:

TACAS-2015-DavidJLMT #stratego

Uppaal Stratego (AD, PGJ, KGL, MM, JHT), pp. 206–211.

PPDP-2009-KaiserL #higher-order #traversal

An Isabelle/HOL-based model of stratego-like traversal strategies (MK, RL), pp. 93–104.

LDTA-2007-HameyG08 #domain-specific language #experience #implementation #stratego #using

Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper (LGCH, SG), pp. 37–51.

PEPM-2006-BravenboerKVV #component #stratego

Stratego/XT 0.16: components for transformation systems (MB, KTK, RV, EV), pp. 95–99.

GTTSE-2005-BravenboerGV #domain-specific language #stratego #using

MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XT (MB, RdG, EV), pp. 297–311.

RTA-2001-Visser #named #program transformation #stratego

Stratego: A Language for Program Transformation Based on Rewriting Strategies (EV), pp. 357–362.