scientific article; zbMATH DE number 4080965

zbMATH Open0661.68096MaRDI QIDQ3811751FDOQ3811751

Authors:

Publication date: 1988

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

Recommendations

• scientific article; zbMATH DE number 4199606
• Transformations of logic programs
• Transformations of logic programs
• The transformational approach to program development
• scientific article; zbMATH DE number 3890698

zbMATH Keywords

program transformationsrecursive programslogic programsprogram development

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (2)

• Towards a Normal Form for Mercury Programs
• The role of standardising apart in logic programming

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