Foundations of programmology

DOI10.1007/BF02733300MaRDI QIDQ1592005zbMATH OpenFDO

Authors V. N. Red'ko

Publication date 15 January 2001

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

Full work available at URL https://doi.org/10.1007/BF02733300

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)

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

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)