scientific article; zbMATH DE number 3907753

MaRDI QIDQ3685174zbMATH OpenFDO

Authors Deepak Kapur, Mandayam Srivas

Publication date 1985

zbMATH Keywords

expansionhypothesis testinginference rulesinstantiationproving theoremssimplicationspecificationsynthesizing data type implementationsterm rewriting systems

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 3911688
• scientific article; zbMATH DE number 4043304
• Design strategies for rewrite rules
• Deductive and inductive synthesis of equational programs
• scientific article; zbMATH DE number 3845032

Cited in

(8)

• A systematic catalogue of reusable abstract data types
• Deductive and inductive synthesis of equational programs
• scientific article; zbMATH DE number 3845032 (Why is no real title available?)
• scientific article; zbMATH DE number 3911688 (Why is no real title available?)
• scientific article; zbMATH DE number 4080884 (Why is no real title available?)
• The Mechanical Transformation of Data Types
• Rewriting techniques for program synthesis
• Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules

This page was built for publication:

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