SEMANTICS OF PROGRAM DATA TYPES FOR FUNCTIONAL DATA-FLOW PARALLEL PROGRAMMING LANGUAGE PIFAGOR

Author(s): Ushakova Maria Sergeevna

Rubric: Information technology

Release: 2016-2 (14)

Pages: 263-269

Keywords: axiomatic semantics of program data types, functional data-flow parallel programming, Pifagor programming language

Annotation: The article is devoted to formal semantics for data types of functional data-flow parallel programming language Pifagor. Mathematical semantics based on naive (informal) set theory and axiomatic semantics are concerned

Bibliography: Ushakova MA.SE. SEMANTICS OF PROGRAM DATA TYPES FOR FUNCTIONAL DATA-FLOW PARALLEL PROGRAMMING LANGUAGE PIFAGOR // Education Resources and Technologies. – 2016. – № 2 (14). – С. 263-269. doi: