Stratego

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