Stratego
From MaRDI portal
Software:13999
swMATH1259MaRDI QIDQ13999FDOQ13999
Author name not available (Why is that?)
Cited In (75)
- Data Movement Optimisation in Point-Free Form
- A Domain-Specific Language and Editor for Parallel Particle Methods
- Title not available (Why is that?)
- A lightweight approach to datatype-generic rewriting
- A rule-based approach to the implementation of evaluation strategies
- Equality Saturation: A New Approach to Optimization
- Programmable rewriting strategies in Haskell (white paper)
- A rewriting logic approach to operational semantics (extended abstract)
- From Grammars and Automata to Algebras and Coalgebras
- Title not available (Why is that?)
- The Third Rewrite Engines Competition
- Generation of abstract programming interfaces from syntax definitions
- Twenty years of rewriting logic
- A Tactic Language for Declarative Proofs
- Transformation of structure-shy programs with application to XPath queries and strategic functions
- Strategy-Based Proof Calculus for Membrane Systems
- High-fidelity C/C++ code transformation
- Anti-patterns for rule-based languages
- A Port Graph Calculus for Autonomic Computing and Invariant Verification
- Recent Trends in Algebraic Development Techniques
- A rewriting logic approach to operational semantics
- A rewriting framework for rule-based programming dynamic applications
- Parsing and Printing of and with Triples
- Processes, Terms and Cycles: Steps on the Road to Infinity
- A Rewriting Semantics for Maude Strategies
- Title not available (Why is that?)
- Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies
- Programmed strategies for program verification
- An on-the-fly grammar modification mechanism for composing and defining extensible languages
- Declarative rewriting through circular nonterminal attributes
- Ruler: Programming Type Rules
- A survey of rewriting strategies in program transformation systems
- An integrated approach to high integrity software verification
- 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
- Fusing logic and control with local transformations: an example optimization
- Term rewriting with type-safe traversal functions
- 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
- Rewriting Strategies and Strategic Rewrite Programs
- A Strategy Language for Graph Rewriting
- Automated generation of program translation and verification tools using annotated grammars
- Crystal: Integrating structured queries into a tactic language
- A Rewriting Semantics for Type Inference
- Logic Based Program Synthesis and Transformation
- Zipping strategies and attribute grammars
- A survey of strategies in rule-based program transformation systems
- Programming and symbolic computation in Maude
- Metalevel transformation of strategies
- Simulating and model checking membrane systems using strategies in Maude
- Inductive proof search modulo
- A Rewriting Logic Approach to Type Inference
- Using source transformation to test and model check implicit-invocation systems
- Static consistency checking of web applications with WebDSL
- Translation of algebraic programs into executable codes
- Labelled Graph Rewriting Meets Social Networks
- The metafront system: safe and extensible parsing and transformation
- Title not available (Why is that?)
- UTPCalc — A Calculator for UTP Predicates
- Induction for termination with local strategies
- Strategic port graph rewriting: an interactive modelling framework
- Program transformation with scoped dynamic rewrite rules
- Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
- Building language towers with Ziggurat
- Title not available (Why is that?)
- Silver: an extensible attribute grammar system
- Title not available (Why is that?)
- Logic Programming
This page was built for software: Stratego