Rewriting Strategies and Strategic Rewrite Programs

DOI10.1007/978-3-319-23165-5_18zbMath1321.68331OpenAlexW2294815028MaRDI QIDQ2945718

Hélène Kirchner

Publication date: 14 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01254205/file/Revised-RewStrat.pdf

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

The Maude strategy language, A Maude environment for CafeOBJ, Unnamed Item, Labelled port graph -- a formal structure for models and computations

Uses Software

• GrGen
• TPS
• Stratego
• ELAN
• PROGRES
• PVS
• Haskell
• AGG
• Maude
• PORGY
• Curry
• GROOVE
• Tom
• GP 2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A sequential reduction strategy
• The lambda calculus. Its syntax and semantics. Rev. ed.
• TPS: A hybrid automatic-interactive system for developing proofs
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Operational termination of conditional term rewriting systems
• Computing in systems described by equations
• Conditional rewriting logic as a unified model of concurrency
• ELAN from a rewriting logic point of view
• Automata, logics, and infinite games. A guide to current research
• A structural approach to operational semantics
• A survey of strategies in rule-based program transformation systems
• The rewriting calculus - part II
• Double-pushout graph transformation revisited
• Just-in-time
• Strong and Weak Operational Termination of Order-Sorted Rewrite Theories
• Termination of rewriting under strategies
• Termination of Rewriting with Strategy Annotations
• GrGen: A Fast SPO-Based Graph Rewriting Tool
• Constraint Based Strategies
• The Graph Programming Language GP
• Handbook of Graph Grammars and Computing by Graph Transformation
• A Strategy Language for Graph Rewriting
• The Strategy Challenge in SMT Solving
• A Port Graph Calculus for Autonomic Computing and Invariant Verification
• A Rewriting Semantics for Maude Strategies
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
• Semantic Guidance for Saturation Provers