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 <u>let</u> and <u>is</u> 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.
Publisher
Association for Computing Machinery (ACM)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. MODLISP;ACM SIGSAM Bulletin;1981-02
2. SCRATCHPAD/360;ACM SIGSAM Bulletin;1979-02
3. MODLISP: An introduction;Symbolic and Algebraic Computation;1979