Stratego
From MaRDI portal
Cited in
(only showing first 100 items - show all)- A rewriting logic approach to operational semantics
- Inductive proof search modulo
- GrGen
- pyModelChecking
- JastAdd
- TinkerType
- WebDSL
- ELAN
- LISA
- PROGRES
- ANTLR
- ATERM
- TAMPR
- CC4J
- Fujaba
- AGG
- An on-the-fly grammar modification mechanism for composing and defining extensible languages
- Declarative rewriting through circular nonterminal attributes
- OBJ3
- Rascal
- Maude
- Saoithin
- UTP2
- GHC
- Generation of abstract programming interfaces from syntax definitions
- The transient combinator, higher-order strategies, and the distributed data problem
- PORGY
- 2OBJ
- CLIPS
- FADAlib
- HOCL
- Z2sal
- Twenty years of rewriting logic
- MMT
- PMaude
- Jwig
- APS
- Curry
- Polyp
- CodeBoost
- GROOVE
- Zipping strategies and attribute grammars
- MFE
- Sparkle
- ITP
- Tom
- CARIBOO
- Marvin
- JITty
- PSMaude
- Strategies, model checking and branching-time properties in Maude
- Programming and symbolic computation in Maude
- ASF+SDF
- TXL
- High-fidelity C/C++ code transformation
- dk.brics.automaton
- visone
- A survey of strategies in rule-based program transformation systems
- Scheme
- Using source transformation to test and model check implicit-invocation systems
- Translation of algebraic programs into executable codes
- ScalaQL
- Automated generation of program translation and verification tools using annotated grammars
- Silver: an extensible attribute grammar system
- Crystal: Integrating structured queries into a tactic language
- Simulating and model checking membrane systems using strategies in Maude
- Metalevel transformation of strategies
- ORME
- KIDS
- XPTO
- Xtext
- Labelled graph rewriting meets social networks
- A survey of rewriting strategies in program transformation systems
- Fusing logic and control with local transformations: an example optimization
- Induction for termination with local strategies
- Term rewriting with type-safe traversal functions
- Programmable rewriting strategies in Haskell (white paper)
- Deduction, strategies, and rewriting
- Programmed strategies for program verification
- A rewriting logic approach to operational semantics (extended abstract)
- Spoofax
- Rewriting strategies and strategic rewrite programs
- scientific article; zbMATH DE number 6682133 (Why is no real title available?)
- UTPCalc -- a calculator for UTP predicates
- Equality saturation: a new approach to optimization
- Jaza
- From grammars and automata to algebras and coalgebras
- Simpl
- MetaEdit+
- A lightweight approach to datatype-generic rewriting
- SugarJ
- A Rewriting Logic Approach to Type Inference
- CHR
- SymPLFIED
- Ampersand
- Hugs
- UTPCalc
- MGS
- A rule-based approach to the implementation of evaluation strategies
- Ruler: Programming Type Rules
This page was built for software: Stratego
