scientific article; zbMATH DE number 1098496

MaRDI QIDQ4372941zbMATH OpenFDO

Authors Mihhail Matskin, Jan Komorowski

Publication date 18 December 1997

zbMATH Keywords

structural synthesis of programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1973864
• Partial deduction for structured logic programming
• scientific article; zbMATH DE number 223335
• scientific article; zbMATH DE number 3934387
• Sound and complete partial deduction with unfolding based on well-founded measures

Cited in

(6)

• scientific article; zbMATH DE number 1973864 (Why is no real title available?)
• Partially interpreted schemas for CSP programming
• Syntactically correct multilevel structured program design
• Preconditions for structural synthesis of programs
• scientific article; zbMATH DE number 550330 (Why is no real title available?)
• scientific article; zbMATH DE number 140389 (Why is no real title available?)

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