PASCAL-XSC

PASCAL-XSC — одно из расширений Standard Pascal.

Разработан в Институте прикладной математики (II) Университета г. Карлсруэ (Германия) под руководством проф. У. Кулиша. Наиболее активный период развития языка и разработки соответствующего программного обеспечения пришелся на 80-е — начало 90-х гг. прошлого века.

Основные характеристики PASCAL-XSC:

• модульная структура программы;
• межмодульный экспорт-импорт данных различных типов;
• возможность введения собственных и переопределения уже существующих знаков операций с последующим их использованием в обычных выражениях;
• разрешение совмещать имена процедур, а также знаки операций;
• распространение основных операций на все структурированные типы;
• добавление комплексных чисел и интервалов, векторов и матриц в набор предопределенных типов;
• наличие динамических массивов и развитых средств их размещения и переразмещения;
• управление округлениями для всех числовых операций и операций ввода-вывода;
• максимальная (в строгом математическом смысле) точность таких операций;
• поддержка высокоточного вычисления операций типа скалярных произведений.

XSC — аббревиатура от eXtension for Scientific Computations. PASCAL-XSC входит в семейство SC-языков (от английского «Scientific Computations», т. е. «Научные Вычисления»), представителями которого, помимо PASCAL-XSC, являются FORTRAN-SC и -XSC, PASCAL-SC и -XSC, MODULA-SC, OBERON-XSC. PASCAL-XSC является не только одним из немногих SC-языков “доросших до коммерческой версии”, но и наиболее известным среди них на сегодня. SC-языки программирования специально спроектированы с учетом требований интервальных вычислений (также используются названия reliable computations — достоверные (надежные) вычисления, verified computations — вычисления с верификацией, self-validating numerics — проверяющие себя вычисления).