Assignment Commands with Array References
- 1 October 1978
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 25 (4) , 652-666
- https://doi.org/10.1145/322092.322104
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Conditional Expressions with Equality TestsJournal of the ACM, 1978
- Symbolic execution and program testingCommunications of the ACM, 1976
- A Completeness Theorem for Straight-Line Programs with Structured VariablesJournal of the ACM, 1976
- A comparison of polynomial time reducibilitiesTheoretical Computer Science, 1975
- SELECT—a formal system for testing and debugging programs by symbolic executionACM SIGPLAN Notices, 1975
- Automatic program verification I: A logical basis and its implementationActa Informatica, 1975
- Equivalence of programs with structured variablesJournal of Computer and System Sciences, 1972
- On Classes of Program SchemataSIAM Journal on Computing, 1972
- Optimization of Straight Line ProgramsSIAM Journal on Computing, 1972
- Some Completeness Results in the Mathematical Theory of ComputationJournal of the ACM, 1968