Evolution of Visualization Methods for Research Publication Collections

Abstract

It is proposed to add a static system of types to the dataflow functional model of parallel computing and the dataflow functional parallel programming language developed on its basis. The use of static typing increases the possibility of transforming dataflow functional parallel programs into programs running on modern parallel computing systems. Language constructions are proposed. Their syntax and semantics are described. It is noted that the need to use the single assignment principle in the formation of data storages of a particular type. The features of instrumental support of the proposed approach are considered.

C Language Extension to Support Procedural-Parametric Polymorphism

“…Приведенное выше моделирование эволюционного расширения программы на языке программирования C показывает, что основные подходы к реализации предлагаемых конструкций мало чем отличаются от тех, которые ранее были использованы при расширении языка Оберон-2, анализе методов реализации обобщенных записей, моделировании процедурно-параметрического полиморфизма на языке C++ [15][16][17]20]. Вместе с тем, наличие для языка программирования C компиляторов и инструментальных средств, поддерживающих возможность интеграции с ними на уровне исходных текстов позволяет выбирать соответствующие инструменты и использовать их для повышения эффективности собственных разработок.…”

“…Например, невозможно прямое расширение мультиметодов. Предлагаемые для этого решения [9][10][11] в основном ведут к использованию дополнительных конструктивов и алгоритмов, при которых, чаще всего, объектно-ориентированный стиль смешивается с процедурным. Аналогичные проблемы, связанные с реализацией мультиметодов, существуют также в языках программирования Go и Rust.…”

Instrumental support of the evolutionary extension of programs at incremental software development

“…К последним решениям в данной области относится предложенный в языке программирования Go механизм интерфейсов, позволивший отказаться от наследования и вместе с тем сохранивший возможности, обеспечивающие поддержку полиморфизма, аналогичного объектно-ориентированному (ОО) [5]. Имеющиеся при этом отличия можно охарактеризовать как Go-подход, появление которого позволяет провести дополнительные сравнения возможностей эволюционного расширения по сравнению с ранее проведенным анализом [6]. Каждый из представленных подходов имеет свои особенности и обеспечивает поддержку определенных ситуаций, возникающих при инкрементальном развитии программ.…”