- Full text PDF available (2)
- This year (0)
- Last 5 years (0)
- Last 10 years (0)
Journals and Conferences
A survey of the strategy behind and the facilities of a code optimization package for REDUCE are given. We avoid a detailed discussion of the different algorithms and concentrate on the user aspects of the package. Examples of straightforward and more advanced usage are shown.
Some REDUCE facilities are presented for pretty printing formal (partial) derivatives, for array-and matrix subcripts and for operators with arbitrary arguments. The package is completely written in Standard LISP and can be considered as an addition to the output repertoire of the algebraic mode of REDUCE.
The POOMA operating system, together with the POOL-X compiler, is responsible for the execution on the POOMA hardware of parallel programs written in the parallel object oriented language POOL-X. This article contains two parts, firstly it gives an overview of most of the facilities which are offered by the POOMA operating system, and secondly relevant… (More)
An overview is given of ESPRIT project 415, which involved the study of object-oriented, functional, and logic programming styles in six subprojects. The parallel languages and architectures designed to implement them are described, and the technology of the object-oriented approach pursued by the authors' team is examined. Their design includes a novel… (More)
An expression analysis package for REDUCE 2 is presented. This package, completely written in Standard LISP, can be considered as an extension of the algebraic mode. It allows to interactively dismantled and/or modify the last output expression as it is desplayed or printed. An interface with the Code Optimizer makes on line construction of optimized… (More)
NETFORM is a very powerful and flexible tool for solving (sparse) systems of linear equations in algebraic form. The system includes convenient facilities to generate (and solve) linear equations for electrical networks.The accompanying Code Optimizer is a general purpose tool to automatically optimize sets of algebraic expressions, with emphasis on those… (More)
The design of a large database management system on top of an object-oriented platform which is implemented on a tightly coupled multiprocessor system requires a large number of design decisions. There exist no methodology to evaluate the consequences and compare the differences between them. Looking into experimental methodology in physics we find a lot of… (More)