scientific article; zbMATH DE number 4080884

zbMATH Open0661.68015MaRDI QIDQ3811684FDOQ3811684

Authors: Paul Jacquet 

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

• Rewriting techniques for program synthesis
• Constructive system for automatic program synthesis
• scientific article; zbMATH DE number 4084990
• scientific article; zbMATH DE number 3907753
• scientific article; zbMATH DE number 4043304

zbMATH Keywords

unificationKnuth-Bendix procedurehierarchical conditional rewrite system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited In (3)

• Rewriting techniques for program synthesis
• Dependent types and formal synthesis
• An approach to completing variable names for implicitly typed functional languages

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 Q3811684)