Compositions of programs that induce special monotonic functions
type: Item
instance of: scholarly article
title: Compositions of programs that induce special monotonic functions
zbMATH Open document ID: 0622.68023
author: N. S. Nikitchenko
published in: Programming and Computer Software
publication date: 1987-01-01T00:00:00Z
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.
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 4009799
zbMATH Keywords: monotonic functions
zbMATH Keywords: Pascal-like programming languages
MaRDI profile type: Publication
Recommended article: Monadification of functional programs
Recommended article: Program schemata with monotone operators
Recommended article: Complexity of monotonic functions
Recommended article: Q6068938
Recommended article: Composing bidirectional programs monadically
Recommended article: Programs over aperiodic monoids
Recommended article: Monadic logic programs and functional complexity
Recommended article: Q3824397
Recommended article: Q4807833
Recommended article: The Expressive Power of Monotonic Parallel Composition
description: scientific article; zbMATH DE number 4009799