Assignment Commands with Array References

DOI10.1145/322092.322104zbMath0388.68009OpenAlexW2026597794MaRDI QIDQ4170196

Ravi Sethi, Peter J. Downey

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)

Related Items

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