The treatment of data types in EL1
Communications of the ACM
REDUCE 2: A system and language for algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Algebraic algorithm descriptions as programs
ACM SIGSAM Bulletin
Programming Languages, Information Structures, and Machine Organization.
Programming Languages, Information Structures, and Machine Organization.
Informal introduction to ALGOL 68
Informal introduction to ALGOL 68
Enlarging the REDUCE domain of computation
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Programming in an Interactive Environment: the ``Lisp'' Experience
ACM Computing Surveys (CSUR)
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
An efficient sparse minor expansion algorithm
ACM '76 Proceedings of the 1976 annual conference
A new REDUCE model for algebraic simplification
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
A language for computational algebra
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
A language for computational algebra
ACM SIGPLAN Notices
On the design of a mode-based symbolic system
ACM SIGSAM Bulletin
A symbolic limit evaluation program in REDUCE
ACM SIGSAM Bulletin
IEEE Transactions on Computers
| Hi-index | 0.00 |
This paper gives a brief description and motivation of the mode analyzing and data-structuring extensions to the algebraic language REDUCE. These include generic functions, user defined recursive data structures, mode transfer functions and user modifiable automatic coercion. A number of examples are given to illustrate the style and features of the language, and how it will aid in the construction of more efficient and reliable programs.