Portal de Periódicos da CAPES

Programming paradigms for symbolic computation systems analysis of an example

1990; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-52531-9_126

1611-3349

Uwe Petermann,

Formal Methods in Verification

The aim of the paper is a discussion of programming paradigms suitable for the design of Symbolic Computation Systems. In a case study the object oriented programming language LOGLAN has been used for the implementation of algorithms for computations in non-commutative polynomial algebras and their quotient skew fields. The discussion is focused at the combination of classical programming paradigms e.g. module nesting with the object oriented programming paradigm.