Тип публикации: диссертация
Год издания: 2004
Ключевые слова: вычислительные системы и сети, программирование, параллельное программирование, Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Аннотация: Предложены и реализованы "механизм перегрузки функций с одинаковой сигнатурой, обеспечивающий эволюционное расширение функционально-потоковых параллельных программ, механизм строгой динамической типизации, обеспечивающий улучшенный контроль типов данных во время выполнения программы, сочетающий возможности контроля типов, а также фПоказать полностьюормирования предусловий и постусловий. Разработана модульная структура, которая в комплексе с другими предложенными языковыми конструкциями обеспечила гибкую модификацию функционально-потоковых параллельных программ. Предложены методы использования разработанных конструкций для построения эволюционно расширяемых функционально-потоковых параллельных программ. Реализована инструментальная оболочка, обеспечивающая поддержку процесса разработки и сопровождения функционально-потоковых параллельных программ. Результаты работы используются в учебном процессе КГТУ.