PASCAL-XSC —одно из расширений
стандартного Паскаля.
Разработан в Институте прикладной математики (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 — проверяющие
себя вычисления).