Foundations of programmology

DOI10.1007/BF02733300MaRDI QIDQ1592005zbMATHFDO

Authors V. N. Red'ko

Publication date 15 January 2001

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

composition programmingexplicative programmingprogrammology

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Composition structure of programmology
• scientific article; zbMATH DE number 4049008
• scientific article; zbMATH DE number 4047058
• Descriptological foundations of programming
• Computable compositions and universal program logics

Cites work

• scientific article; zbMATH DE number 3153134 (Why is no real title available?)
• scientific article; zbMATH DE number 3949667 (Why is no real title available?)
• scientific article; zbMATH DE number 3961577 (Why is no real title available?)
• scientific article; zbMATH DE number 934359 (Why is no real title available?)
• scientific article; zbMATH DE number 3250574 (Why is no real title available?)
• scientific article; zbMATH DE number 3051936 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• Can programming be liberated from the von Neumann style?
• Composition structure of programmology

Cited in

(5)

• scientific article; zbMATH DE number 4047058 (Why is no real title available?)
• Descriptological foundations of programming
• Descriptological foundations of information technologies
• scientific article; zbMATH DE number 51768 (Why is no real title available?)
• A practical theory of programming

This page was built for publication: Foundations of programmology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1592005)