О взаимосвязи структур данных и организации программных средств различных систем

Предлагается метод, позволяющий использовать взаимосвязь структурной организации программ и структурной организации данных для анализа программного обеспечения различных систем (например, САПР) и для создания нового программного обеспечения. На основе идеи Д. Скотта о представлении типов данных при помощи ретрактов в его модели $\lambda$-исчисления $P_{\omega}$ исследуются структуры программ, на входе (выходе) которых появляются структуры данных, соответствующие теоретико-множественным операциям декартового произведения и дизъюнктного объединения, и структуры программ, имеющие на входе линейный список. Указываются перспективы развития предлагаемого метода.