Semantic synthesis of programs by matching compositions
type: Item
instance of: scholarly article
title: Semantic synthesis of programs by matching compositions
zbMATH Open document ID: 0657.68015
author: N. S. Nikitchenko
published in: Programming and Computer Software
publication date: 1987-01-01T00:00:00Z
review text: We identify classes of functions induced by programs with the property of requesting the presence and the values of the input data. Classes of matching compositions are defined, formalizing the main tools of program construction and simplifying the semantic synthesis of programs in the corresponding classes. The relationship between matching compositions and traditional compositions is established.
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 4074453
zbMATH Keywords: program algebras
zbMATH Keywords: matching compositions
zbMATH Keywords: program construction
zbMATH Keywords: semantic synthesis of programs
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 4074453