Assignment Commands with Array References-Reference-Cited by-同舟云学术

Assignment Commands with Array References

Published:1978-10 Issue:4 Volume:25 Page:652-666
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Downey Peter J.¹,Sethi Ravi²

Affiliation:

1. Department of Computer Science, The University of Arizona, Tucson, AZ and The Pennsylvania State University, University Park, Pennsylvania

2. Bell Laboratories, Murray Hill, NJ

Publisher

Association for Computing Machinery (ACM)

Subject

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

Reference25 articles.

1. AHO A V i-IOPCROFT J E AND ULLMAN J !_) lhe Design and Anatysls oJ t:omputer AlgOrtttTms Addmon-Wesley Reading Mass 1974 AHO A V i-IOPCROFT J E AND ULLMAN J !_) lhe Design and Anatysls oJ t:omputer AlgOrtttTms Addmon-Wesley Reading Mass 1974

2. AHO A V AND ULLMAN J D Optimization of straight hne programs SIAM J Compuong 1 1 (March 1972) 1-19 AHO A V AND ULLMAN J D Optimization of straight hne programs SIAM J Compuong 1 1 (March 1972) 1-19

3. AHO A V AND ULI.MAN J D Equwalence of programs with structured variables JCSS 6 2 (Aprd 1972) 125-137 AHO A V AND ULI.MAN J D Equwalence of programs with structured variables JCSS 6 2 (Aprd 1972) 125-137

4. Semantics of assignment Machine lntelhgence 2, American Elsevier, New York;BURSTALL R M;N Y,1968

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

1. Optimal Refinement-based Array Constraint Solving for Symbolic Execution;2022 29th Asia-Pacific Software Engineering Conference (APSEC);2022-12

2. fdcc: A Combined Approach for Solving Constraints over Finite Domains and Arrays;Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems;2012

3. Automated deduction for verification;ACM Computing Surveys;2009-10

4. Decision procedures for extensions of the theory of arrays;Annals of Mathematics and Artificial Intelligence;2007-07-27

5. Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies;Logics in Artificial Intelligence;2006