Stratego

swMATH1259MaRDI QIDQ13999FDOQ13999

Author name not available (Why is that?)

Cited In (75)

• Generation of abstract programming interfaces from syntax definitions
• Twenty years of rewriting logic
• 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
• Recent Trends in Algebraic Development Techniques
• A rewriting logic approach to operational semantics
• A rewriting framework for rule-based programming dynamic applications
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Rewriting strategies and strategic rewrite programs
• 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
• A tactic language for declarative proofs
• 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
• Strategy-based proof calculus for membrane systems
• Labelled graph rewriting meets social networks
• 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
• A port graph calculus for autonomic computing and invariant verification
• 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 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
• 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
• 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
• The metafront system: safe and extensible parsing and transformation
• Title not available (Why is that?)
• Induction for termination with local strategies
• Strategic port graph rewriting: an interactive modelling framework
• Program transformation with scoped dynamic rewrite rules
• UTPCalc -- a calculator for UTP predicates
• 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?)
• A strategy language for graph rewriting
• Logic Programming
• Data Movement Optimisation in Point-Free Form
• The third rewrite engines competition
• Title not available (Why is that?)
• A lightweight approach to datatype-generic rewriting
• Equality saturation: a new approach to optimization
• A domain-specific language and editor for parallel particle methods
• From grammars and automata to algebras and coalgebras
• A rule-based approach to the implementation of evaluation strategies
• Programmable rewriting strategies in Haskell (white paper)
• A rewriting logic approach to operational semantics (extended abstract)
• Title not available (Why is that?)

This page was built for software: Stratego