Pascal-SC
Pascal-SC. A computer language for scientific computation. Pascal-SC is a programming language developed as an extension of standard Pascal. The key new elements of this language are: arithmetic operations with controlled rounding, an optimal scalar product, functions with general types, an operator concept for abstract data types, overloading of procedures, functions, and operators, respectively, strings, dynamic arrays, modules. In addition, Pascal-SC provides a number of predefined standard modules for calculation with complex numbers, real and complex intervals and also matrices and vectors with these component types. This book explains the details of the new language elements of Pascal-SC, illustrated by examples of numerical and non-numerical applications. The material is arranged so that it is immediately suitable for use as a text. In addition, this book presents the basic fundamentals of the new computer arithmetic, and shows how the tools provided by Pascal-SC can be used for controlled, maximally accurate calculations for the solution of numerical problems. At present, there are two different Pascal-SC implementations, an interpreted version for the Z80 processor and the IBM-PC (and compatibles), and a version which generated executable object code for the Motorola 6800 processor. The interpreted version works with 12-digit arithmetic, and the 6800 version with 13 digits. Except for this difference, it was considered important that the language for both systems be as identical as possible
Keywords for this software
References in zbMATH (referenced in 30 articles , 3 standard articles )
Showing results 1 to 20 of 30.
Sorted by year (- Hoffmann, Philipp H. W.: A Hitchhiker’s guide to automatic differentiation (2016)
- Fabien, Brian C.: \textttdsoa: the implementation of a dynamic system optimization algorithm (2010)
- Li, Chen; Pion, S.; Yap, C. K.: Recent progress in exact geometric computation (2005)
- Martínez, José Mario: Practical quasi-Newton methods for solving nonlinear systems (2000)
- Berleant, Daniel; Kuipers, Benjamin J.: Qualitative and quantitative simulation: bridging the gap (1997)
- Müller, Michael; Rüb, Christine; Rülling, Wolfgang: A circuit for exact summation of floating-point numbers (1996)
- Villard, D.; Arnaldi, B.: Symbolic differentiation library for simulation of multibody rigid systems. (1996) ioport
- Villard, D.; Arnaldi, B.: Symbolic differentiation library for simulation of multibody rigid systems. (1996)
- Venkataramanan, M. A.; Cabot, A. V.; Winston, W. L.: An interval branch and bound algorithm for global optimization of a multiperiod pricing model (1995)
- Beck, Thomas: Automatic differentiation of iterative processes (1994)
- Beck, Thomas; Fischer, Herbert: The if-problem in automatic differentiation (1994)
- Paquet, Luc: Precise evaluation of a polynomial at a point given in staggered correction format (1994)
- Fischer, Herbert: Automatic differentiation: Reduced gradient and reduced Hessian matrix (1992)
- Rich, Lawrence C.; Hill, David R.: Automatic differentiation in MATLAB (1992)
- Fischer, Herbert: Automatic differentiation of the vector that solves a parametric linear system (1991)
- Moore, Ramon E.: Global optimization to prescribed accuracy (1991)
- Petković, M. S.; Cvetković, Lj.: A hybrid method for polynomial complex zero (1991)
- Tesfatsion, Leigh: Work by Robert Kalaba on automated sensitivity analysis (1991)
- Shen, Zuhe; Wolfe, M. A.: On interval enclosures using slope arithmetic (1990)
- Alefeld, G.; Potra, F.: A new class of interval methods with higher order of convergence (1989)