Design strategies for rewrite rules

DOI10.1007/3-540-54317-1_102MaRDI QIDQ5881289zbMATH OpenOpenAlexFDO

Authors Sergio Antoy

Publication date 9 March 2023

Published in Conditional and Typed Rewriting Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-54317-1_102

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Abstract data types; algebraic specification (68Q65)

Recommendations

• On sufficient-completeness and related properties of term rewriting systems
• scientific article; zbMATH DE number 3890721
• scientific article; zbMATH DE number 4043233
• Computing with rewrite systems
• Generalized sufficient conditions for modular termination of rewriting

Cites work

• A Larch shared language handbook
• A program transformation from equational programs into logic programs
• Abstract data types and software validation
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3913652 (Why is no real title available?)
• scientific article; zbMATH DE number 3913659 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3784268 (Why is no real title available?)
• scientific article; zbMATH DE number 194509 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• Logic programming with equations
• On sufficient-completeness and related properties of term rewriting systems
• Proofs by induction in equational theories with constructors
• Proving Properties of Programs by Structural Induction
• The algebraic specification of abstract data types

Cited in

(3)

• Applying string-rewriting to sequence-based specification
• scientific article; zbMATH DE number 3907753 (Why is no real title available?)
• scientific article; zbMATH DE number 4043233 (Why is no real title available?)

This page was built for publication: Design strategies for rewrite rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5881289)