scientific article; zbMATH DE number 3907751

MaRDI QIDQ3685172zbMATH OpenFDO

Authors Saumya K. Debray

Publication date 1985

zbMATH Keywords

bottom-up imlementationProlog specificationtail-recursivetop-down specificationtransformation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Compiling associativity into logic programs
• Some global optimizations for a PROLOG compiler
• On computational complexity of Prolog programs
• scientific article; zbMATH DE number 4110071
• scientific article; zbMATH DE number 1615259

Cited in

(6)

• Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt}
• scientific article; zbMATH DE number 1615259 (Why is no real title available?)
• scientific article; zbMATH DE number 4162247 (Why is no real title available?)
• Compiling associativity into logic programs
• A simple code improvement scheme for prolog
• Efficient Local Unfolding with Ancestor Stacks for Full Prolog

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