Foundations of programmology

DOI10.1007/BF02733300zbMATH Open0966.68026MaRDI QIDQ1592005FDOQ1592005

V. N. Red'ko

Publication date: 15 January 2001

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

Recommendations

• Composition structure of programmology
• scientific article
• scientific article
• Descriptological foundations of programming
• Computable compositions and universal program logics

zbMATH Keywords

composition programmingexplicative programmingprogrammology

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A lattice-theoretical fixpoint theorem and its applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Can programming be liberated from the von Neumann style?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Composition structure of programmology
• Title not available (Why is that?)

Cited In (5)

• Descriptological foundations of programming
• Descriptological foundations of information technologies
• A practical theory of programming
• Title not available (Why is that?)
• Title not available (Why is that?)

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)