scientific article; zbMATH DE number 3555422

MaRDI QIDQ4127981zbMATH OpenFDO

Authors Ashok K. Chandra, Zohar Manna

Publication date 1972

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(4)

• Effective proper procedures and universal classes of program schemata
• Computation by `While' programs on topological partial algebras
• Translatability of schemas over restricted interpretations
• Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time

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