Compositions of programs that induce special monotonic functions

MaRDI QIDQ1091118zbMATH OpenFDO

Authors N. S. Nikitchenko

Publication date 1987

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

monotonic functionsPascal-like programming languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

Programs are studied in which a request for the necessary data is the only means for interacting which source data. It is shown that this class of programs is quite extensive. The special classes of monotonic functions induced by these programs are isolated and closure of these classes is the basic means for constructing Pascal-like programming languages.

Recommendations

• Monadification of functional programs
• Program schemata with monotone operators
• Complexity of monotonic functions
• On structuring functional programs with monoidal profunctors
• Composing bidirectional programs monadically
• Programs over aperiodic monoids
• Monadic logic programs and functional complexity
• scientific article; zbMATH DE number 4097355
• scientific article; zbMATH DE number 1916674
• The expressive power of monotonic parallel composition

Cited in

(1)

• Composition aspects of programmology. I

This page was built for publication: Compositions of programs that induce special monotonic functions

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