Assignment Commands with Array References

DOI10.1145/322092.322104MaRDI QIDQ4170196zbMATH OpenOpenAlexFDO

Authors Peter Downey, Ravi Sethi

Publication date 1978

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/322092.322104

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(4)

• On the relationship of congruence closure and unification
• Complexity, convexity and combinations of theories
• Decision procedures for extensions of the theory of arrays
• Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs

This page was built for publication: Assignment Commands with Array References

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4170196)