An expression analysis package for REDUCE-Reference-Cited by-同舟云学术

An expression analysis package for REDUCE

Published:1982-11 Issue:4 Volume:16 Page:32-44
ISSN:0163-5824
Container-title:ACM SIGSAM Bulletin
language:en
Short-container-title:SIGSAM Bull.

Author:

van Hulzen J. A.¹,Hulshof B. J. A.¹

Affiliation:

1. Twente University of Technology, The Netherlands

Abstract

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 FORTRAN programs possible.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/1089310.1089318

Reference15 articles.

1. Cowan R. Griss M.: Hashing the Key Rapid Pattern Matching. Symbolic and Algebraic Computation (E. W. Ng ed.) Springer LNCS series nr. 72 266--278. Berlin-Heidelberg - New York: Springer-Verlag (1979). Cowan R. Griss M.: Hashing the Key Rapid Pattern Matching. Symbolic and Algebraic Computation (E. W. Ng ed.) Springer LNCS series nr. 72 266--278. Berlin-Heidelberg - New York: Springer-Verlag (1979).

2. The user-level semantic matching capability in MACSYMA

3. Computation of algebraic properties of elementary particle reactions using a digital computer

4. Hulshof B. J. A. van Hulzen J. A. Smit J.: Code Optimization Facilities applied in the NETFORM Context. Twente University of Technology; TW memorandum nr. 368 (December 1981). Hulshof B. J. A. van Hulzen J. A. Smit J.: Code Optimization Facilities applied in the NETFORM Context. Twente University of Technology; TW memorandum nr. 368 (December 1981).

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Expression optimization using high-level knowledge;Lecture Notes in Computer Science;1989

2. An expression compression package for REDUCE based on factorization and controlled expansion;EUROCAL '85;1985