Compositions of programs that induce special monotonic functions

zbMATH Open0622.68023MaRDI QIDQ1091118

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

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

Related Items (1)

Composition aspects of programmology. I

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Programs over aperiodic monoids 👍 👎
• Program schemata with monotone operators 👍 👎
• Monadic logic programs and functional complexity 👍 👎
• Complexity of monotonic functions 👍 👎
• Monadification of functional programs 👍 👎
• The Expressive Power of Monotonic Parallel Composition 👍 👎
• Composing bidirectional programs monadically 👍 👎

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)