VERIFICATION OF PARALLEL FUNCTIONAL DATAFLOW PROGRAMS USING INTERVAL FORMULAS

Author(s): Udalova Yulia Vasilievna

Rubric: Information technology

Release: 2016-2 (14)

Pages: 259-262

Keywords: verification, specification, parallel programming, functional programming

Annotation: The article describes the original method of verification of programs in functional-stream parallel programming language Pythagoras using interval constants for the specifications of the program

Bibliography: Udalova YU.VA. VERIFICATION OF PARALLEL FUNCTIONAL DATAFLOW PROGRAMS USING INTERVAL FORMULAS // Education Resources and Technologies. – 2016. – № 2 (14). – С. 259-262. doi: