Rewriting techniques for program synthesis

DOI10.1007/3-540-51081-8_121MaRDI QIDQ5055734zbMATH OpenOpenAlexFDO

Authors Uday S. Reddy

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-51081-8_121

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4043304
• Deductive and inductive synthesis of equational programs
• scientific article; zbMATH DE number 4084990
• scientific article; zbMATH DE number 4080884
• From program verification to program synthesis

Cites work

• A Transformation System for Developing Recursive Programs
• scientific article; zbMATH DE number 3907753 (Why is no real title available?)
• scientific article; zbMATH DE number 3956434 (Why is no real title available?)
• scientific article; zbMATH DE number 4047063 (Why is no real title available?)
• scientific article; zbMATH DE number 3019695 (Why is no real title available?)
• Orderings for term-rewriting systems
• Proving termination with multiset orderings
• The concept of a supercompiler

Cited in

(13)

• When is an extension of a specification consistent? Decidable and undecidable cases
• Deductive and inductive synthesis of equational programs
• Program synthesis with equivalence reduction
• Computing with rewrite systems
• scientific article; zbMATH DE number 4043304 (Why is no real title available?)
• scientific article; zbMATH DE number 4080884 (Why is no real title available?)
• scientific article; zbMATH DE number 139988 (Why is no real title available?)
• scientific article; zbMATH DE number 1231655 (Why is no real title available?)
• Program transformation and rewriting
• Axiomatization of a functional logic language
• Conditional rewriting in focus
• Term rewriting induction
• Synthesis of rewrite programs by higher-order and semantic unification

Describes a project that uses

Uses Software

• Refal

This page was built for publication: Rewriting techniques for program synthesis

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