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)

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)