swMATH1259MaRDI QIDQ13999FDOQ13999
Author name not available (Why is that?)
Official website: http://www.program-transformation.org/Stratego/WebHome
Cited In (only showing first 100 items - show all)
- Generation of abstract programming interfaces from syntax definitions
- Data Movement Optimisation in Point-Free Form
- Anti-patterns for rule-based languages
- Recent Trends in Algebraic Development Techniques
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Programmed strategies for program verification
- An on-the-fly grammar modification mechanism for composing and defining extensible languages
- Declarative rewriting through circular nonterminal attributes
- A tactic language for declarative proofs
- Title not available (Why is that?)
- A survey of rewriting strategies in program transformation systems
- The transient combinator, higher-order strategies, and the distributed data problem
- An update calculus for expressing type-safe program updates
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
- Strategies and simulations in a semantic framework
- Strategy-based proof calculus for membrane systems
- Labelled graph rewriting meets social networks
- Strategies, model checking and branching-time properties in Maude
- A lightweight approach to datatype-generic rewriting
- Fusing logic and control with local transformations: an example optimization
- Term rewriting with type-safe traversal functions
- Equality saturation: a new approach to optimization
- Automated generation of program translation and verification tools using annotated grammars
- Crystal: Integrating structured queries into a tactic language
- Parsing and printing of and with triples
- A domain-specific language and editor for parallel particle methods
- Logic Based Program Synthesis and Transformation
- Zipping strategies and attribute grammars
- From grammars and automata to algebras and coalgebras
- Timed Rebeca
- A rewriting semantics for Maude strategies
- Programming and symbolic computation in Maude
- Metalevel transformation of strategies
- Simulating and model checking membrane systems using strategies in Maude
- Inductive proof search modulo
- Using source transformation to test and model check implicit-invocation systems
- Translation of algebraic programs into executable codes
- Title not available (Why is that?)
- Strategic port graph rewriting: an interactive modelling framework
- A rule-based approach to the implementation of evaluation strategies
- pyModelChecking
- UTPCalc -- a calculator for UTP predicates
- Programmable rewriting strategies in Haskell (white paper)
- A rewriting logic approach to operational semantics (extended abstract)
- Building language towers with Ziggurat
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logic Programming
- The third rewrite engines competition
- Twenty years of rewriting logic
- Transformation of structure-shy programs with application to XPath queries and strategic functions
- High-fidelity C/C++ code transformation
- A rewriting logic approach to operational semantics
- A rewriting framework for rule-based programming dynamic applications
- Rewriting strategies and strategic rewrite programs
- Title not available (Why is that?)
- Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies
- Ruler: Programming Type Rules
- An integrated approach to high integrity software verification
- Implementing type systems for the IDE with Xsemantics
- Constructing language processors with algebra combinators
- Preventing injection attacks with syntax embeddings
- A higher-order graph calculus for autonomic computing
- Invariant-driven specifications in Maude
- Deduction, strategies, and rewriting
- A port graph calculus for autonomic computing and invariant verification
- A Rewriting Semantics for Type Inference
- GrGen
- JastAdd
- Fujaba
- AGG
- OBJ3
- Rascal
- Maude
- Saoithin
- UTP2
- GHC
- 2OBJ
- CLIPS
- PORGY
- FADAlib
- HOCL
- Z2sal
- MMT
- PMaude
- APS
- Jwig
- Curry
- CodeBoost
- Polyp
- GROOVE
- MFE
- ITP
- CARIBOO
- JITty
- Marvin
- PSMaude
- Sparkle
- Tom
This page was built for software: Stratego
