Program transformation and rewriting

DOI10.1007/3-540-53904-2_99zbMath1503.68042OpenAlexW1599041585MaRDI QIDQ5055762

Françoise Bellegarde

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-53904-2_99

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Monads, indexes and transformations ⋮ Deductive and inductive synthesis of equational programs ⋮ Pattern eliminating transformations

Cites Work

• Termination by completion
• On sufficient-completeness and related properties of term rewriting systems
• Computing with rewrite systems
• A Transformation System for Developing Recursive Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Program transformation and rewriting