Variations on the Common Subexpression Problem
- 1 October 1980
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 27 (4), 758-771
- https://doi.org/10.1145/322217.322228
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Reasoning About Recursively Defined Data StructuresJournal of the ACM, 1980
- Fast Decision Procedures Based on Congruence ClosureJournal of the ACM, 1980
- Storing a sparse tableCommunications of the ACM, 1979
- Assignment Commands with Array ReferencesJournal of the ACM, 1978
- An algorithm for reasoning about equalityCommunications of the ACM, 1978
- Linear unificationJournal of Computer and System Sciences, 1978
- Algorithmic Aspects of Vertex Elimination on GraphsSIAM Journal on Computing, 1976
- Scheduling Graphs on Two ProcessorsSIAM Journal on Computing, 1976
- Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report)Published by Association for Computing Machinery (ACM) ,1976
- Efficiency of a Good But Not Linear Set Union AlgorithmJournal of the ACM, 1975