Stratego
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Generation of abstract programming interfaces from syntax definitions
- Twenty years of rewriting logic
- Data Movement Optimisation in Point-Free Form
- Transformation of structure-shy programs with application to XPath queries and strategic functions
- High-fidelity C/C++ code transformation
- Anti-patterns for rule-based languages
- A rewriting logic approach to operational semantics
- Recent Trends in Algebraic Development Techniques
- Rewriting strategies and strategic rewrite programs
- A rewriting framework for rule-based programming dynamic applications
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies
- Programmed strategies for program verification
- scientific article; zbMATH DE number 2018596 (Why is no real title available?)
- An on-the-fly grammar modification mechanism for composing and defining extensible languages
- Declarative rewriting through circular nonterminal attributes
- The third rewrite engines competition
- Ruler: Programming Type Rules
- An integrated approach to high integrity software verification
- A tactic language for declarative proofs
- A survey of rewriting strategies in program transformation systems
- scientific article; zbMATH DE number 2043545 (Why is no real title available?)
- 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
- Strategies, model checking and branching-time properties in Maude
- Labelled graph rewriting meets social networks
- Implementing type systems for the IDE with Xsemantics
- Constructing language processors with algebra combinators
- Preventing injection attacks with syntax embeddings
- A lightweight approach to datatype-generic rewriting
- Fusing logic and control with local transformations: an example optimization
- Term rewriting with type-safe traversal functions
- Strategy-based proof calculus for membrane systems
- Invariant-driven specifications in Maude
- A higher-order graph calculus for autonomic computing
- Deduction, strategies, and rewriting
- GrGen
- JastAdd
- ELAN
- TinkerType
- WebDSL
- LISA
- ANTLR
- PROGRES
- ATERM
- CC4J
- TAMPR
- 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
- ASF+SDF
- TXL
- dk.brics.automaton
- visone
- Scheme
- ScalaQL
- ORME
- KIDS
- XPTO
- Xtext
- Spoofax
- A port graph calculus for autonomic computing and invariant verification
- Jaza
- MetaEdit+
- Simpl
- SugarJ
- Proteus
- CHR
- Ampersand
- Hugs
- SymPLFIED
This page was built for software: Stratego
