Author:
Aho Alfred V.,Ullman Jeffrey D.
Publisher
Society for Industrial & Applied Mathematics (SIAM)
Subject
General Mathematics,General Computer Science
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying Term Graph Optimizations using Isabelle/HOL;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11
2. Accelerating XOR-based erasure coding using program optimization techniques;Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis;2021-11-13
3. History of Abstract Interpretation;IEEE Annals of the History of Computing;2021
4. A survey of state vectors;Computer Science Review;2008-04
5. The hardness of perfect phylogeny, feasible register assignment and other problems on thin colored graphs;Theoretical Computer Science;2000-08