Variations on the Common Subexpression Problem-Reference-Cited by-同舟云学术

Variations on the Common Subexpression Problem

Published:1980-10 Issue:4 Volume:27 Page:758-771
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Downey Peter J.¹,Sethi Ravi²,Tarjan Robert Endre³

Affiliation:

1. Department of Computer Science, The University of Arizona, Tucson, Arizona

2. Bell Laboratories, Murray Hill, New Jersey

3. Bell Laboratories, Murray Hill, New Jersey and Stanford University, Stanford, California

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Reference20 articles.

1. AHO A V HOPCROFT J.E AND ULLMAN j D The Design and Analysis of Computer Algorithms. Addison- Wesley Reading Mass 1974 AHO A V HOPCROFT J.E AND ULLMAN j D The Design and Analysis of Computer Algorithms. Addison- Wesley Reading Mass 1974

2. CARDOZA E LIPTON R. AND MEYER A R Exponential space complete problems for Petn nets and commutative semlgroups Proc 8th Ann ACM Symp. on Theory of Computing 1976 Hershey Pa pp. 50- 54 10.1145/800113.803630 CARDOZA E LIPTON R. AND MEYER A R Exponential space complete problems for Petn nets and commutative semlgroups Proc 8th Ann ACM Symp. on Theory of Computing 1976 Hershey Pa pp. 50- 54 10.1145/800113.803630

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

1. Trace-Guided Inductive Synthesis of Recursive Functional Programs;Proceedings of the ACM on Programming Languages;2023-06-06

2. Better Together: Unifying Datalog and Equality Saturation;Proceedings of the ACM on Programming Languages;2023-06-06

3. Semantically-Guided Goal-Sensitive Reasoning: Decision Procedures and the Koala Prover;Journal of Automated Reasoning;2023-01-11

4. MODULARITY AND COMBINATION OF ASSOCIATIVE COMMUTATIVE CONGRUENCE CLOSURE ALGORITHMS ENRICHED WITH SEMANTIC PROPERTIES;LOG METH COMPUT SCI;2023

5. KBO Constraint Solving Revisited;Frontiers of Combining Systems;2023