Reduction programming in a technological programming environment

Abstract

This work is aimed at demonstrating, on a representative sample, the usefulness of programming concepts in the state of semantic patterns as relations in a program chain that specify particular types of programs. This is achieved via the use of program descriptors, which act as means of translating composites and basic functions of the technological programming system into their syntactic declarations at the last step of technological programming.