On the design of a mode-based symbolic system

1 February 1977

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGSAM Bulletin

Vol. 11 (1) , 16-19
https://doi.org/10.1145/1088233.1088237

Abstract

This paper is a preliminary report on the design and implementation of a mode-based symbolic programming system and compiler which allows programming with rewrite rules and let and is pattern-match constructs. An important feature of this design is the provision for mode-valued variables which allow algebraic domains to be run-time parameters.

Keywords

This publication has 7 references indexed in Scilit:

A pattern compiler
Published by Association for Computing Machinery (ACM) ,1976
The definition and use of data structures in REDUCE
Published by Association for Computing Machinery (ACM) ,1976
A FORMAT statement in SCRATCHPAD
ACM SIGSAM Bulletin, 1975
Toward a formal implementation of computer algebra
ACM SIGSAM Bulletin, 1974
The SCRATCHPAD language
ACM SIGPLAN Notices, 1974
A mode analyzing algebraic manipulation program
Published by Association for Computing Machinery (ACM) ,1974
REDUCE 2
Published by Association for Computing Machinery (ACM) ,1971