Pascal-xsc : pascal para computacao cientifica : descricao, instalacao e aplicacoes

Abstract

PASCAL-XSC é uma linguagem de programação de propósito geral 4uc proporciona condições especiais à implementação de algoritmos numéticos so fi sticados, que vetillcam matcmaticamenLC os rcsuiLados. O novo sistema PASCAL-XSC tem as vantagens de ser portável a vátias plataformas, estando disponível para computadores pessoais (PC), estações da trabalho do tipo Sun e Hp, mainframes e supercomputadores. A portahilidade é garantida pelo uso de um compilador que traduz. para a linguagem ANSI-C. Este sistema proporciona uma completa simu lação da aritmética de ponto llutuantc definida pelo padrão hinário IEEE 754. Graças a isto, programas em P/\SC 1\L-XSC produzem resultados idênticos em todas as plataformas. Pelo uso dos módulos matemáticos do PASCAL-XSC. algo1itmos num ~ ric ns que providenciam alta exatidão e verificação automática de resultados podem ser facilmente programados. Além disso. a linguagem PASCAL-XSC simplilica o projeto de programas para as Engenharias e para a Computação Cientíllca, graças à estrutura modular dos programas, à possihilidadc de definição de operadores. ao overloading de funções. rntinas e operadores. às funções c operadores com tipos arbitrários de dados c aos r11.,.ovs dinâmicos. Outras características presentes nos módulos da aritmética padrão para os tipos adicionais de dados numéricos incluem operadores c funções elementares com al ta exatidão e com avaliação exata de expressões. Os programas escritos em PASCAL-XSC são de fácil leitura, mesmo se existirem as operações com tipos de dados dos espaços matemáticos avançados, onde os operadores usados para as operações obedecem à notação matemática convencional. Existe ainda, uma grande quantidade de problemas numéricos que podem ser resolvidos pelas hihliotccas de rotinas com verificação automática do resultado. O PASC/\L-XSC possui grandes facilidades para o desenvolvimento de tais rotinas.

PASCAL-XSC is a general purpose programming language which provides special support for the implementation of sophisticated numerical algorithms with mathematically verified results. The new PASCAL-XSC system has the advantage of being portable across many platforms and is available for personal computers, workstations, mainframes and supercomputers by means of a portable compiler which translates to ANSI-C language. A complete software simulation of the arithmetic defined by the IEEE 754 binary floating-point arithmetic standard is provided. This ensures that PASCAL-XSC programmes procedure identical results om all platforms. By using thc mathcmatical modules of PASCAL-XSC, numelical algolithms which deliver highly accurate and automatically verificd results can be easily programmcd. PASCAL-XSC simplifies the designo f programs in cngineering and scientilic computation by modular program structure, user-defined operators, overloading or runctions, procedures, and operators, functions and operators with arbitrary result type and dynamic arTays. Arithmetic standard modules for additional numerical data types including operators and standard functions of high accuracy and the exact evalualion of expressions provide the main numerical tools. Programs written in PASCAL-XSC are easily readable since ali operations, even those in the higher mathematical spaces, have been performed as operators and can be used in conventional mathematical notation. In addition, a large number of numerical problem-solving routines with automatic result verification have becn developed. The PASCAL-XSC system greatly racilitatcs the development of such routines.