Journal of the ACM (JACM)
Communications of the ACM
An extension of ALGOL-like languages
Communications of the ACM
On the relative efficiencies of context-free grammar
Communications of the ACM
A syntax directed compiler for ALGOL 60
Communications of the ACM
REL: A Rapidly Extensible Language system
ACM '69 Proceedings of the 1969 24th national conference
The AED approach to generalized computer-aided design
ACM '67 Proceedings of the 1967 22nd national conference
Programming languages for non-numeric processing—2: An introduction to the COGENT programming system
ACM '65 Proceedings of the 1965 20th national conference
SCRATCHPAD/1: An interactive facility for symbolic mathematics
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Computer input/output of mathematical expressions
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
META II a syntax-oriented compiler writing language
ACM '64 Proceedings of the 1964 19th ACM national conference
META-3 syntax-directed compiler writing compiler to generate efficient code
ACM '64 Proceedings of the 1964 19th ACM national conference
Optimization aspects of compiler-compilers
ACM SIGPLAN Notices
Symbolic mathematical computation—introduction and overview
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
The beginning and development of FORMAC: FORmula MAnipulation Compiler
History of programming languages---II
Implications of symbolic computation for the teaching of mathematics
ACM SIGSAM Bulletin
Course outline: Yale University, New Haven
ACM SIGSAM Bulletin
Symbolic mathematical computation: a survey
ACM SIGSAM Bulletin
Automated generation of program translation and verification tools using annotated grammars
Science of Computer Programming
REQUEST: a natural language question-answering system
IBM Journal of Research and Development
| Hi-index | 0.00 |
In this paper two w ell known formalisms, due to Irons and Knuth, for mapping syntactic tree structures into appropriate target strings or structures are considered. Their utility as general purpose tools for symbolic and algebraic manipulation is illustrated by applying them to a symbolic differentiation exercise. A few of the existing syntax-based translation systems and the uses to which they have been put are discussed. Finally, attempts to mathematically model syntax-based translators are reviewed.