Implementation of an array bound checker

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn Part F130756, Issue , 1977, Pages 132-143

  Suzuki, Norihlsa ^a   Ishihata, Kiyoshi ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35048868285     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/512950.512963     Document Type: Conference Paper

References (10)

1. Cousot, P. & R. Cousot, Static verification of dynamic type properties of variables, Research. Report # 25, Laboratoire d'Inf ormatique, U. S. M. G. Grenoble.
2. Dijkstra, E. W., Guarded commands, nondeterminacy and formal derivation of programs, Comm. ACM 18, 8, August, 1975, pp. 453-457.
3. German, S. M. & B. Wegbreit, A synthesizer of inductive assertions, IEEE Trans. of Software Engineering, Vol. SE-1, No. 1, March 1975, pp. 68-75.
4. Katz, S. M. & Z. Manna, A logical analysis of programs, Comm. ACM 19, 4, April, 1976, pp. 188-206.
5. King, J. C. A program verifier, Ph. D. thesis, Dept. of Comp. Sci., Carnegie-Mellon University, September 1969.
6. McCarthy, J. & P. J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, Machine Intelligence 4, American-Elsevier, pp. 463-502.
7. Suzuki, N., Automatic verification of programs with complex data structures, Ph. D. thesis, Dept. of Comp. Sci., Stanford University, STAN-CS-76-552, February, 1976.
8. Suzuki, N., Iteration induction method, In preparation.
9. Suzuki, N., Frame problems in Floyd-Hoare logic, In preparation.
10. Wegbreit, B., The synthesis of loop predicates, Comm. ACM 17, 2, Feb. 1974, pp. 102-112.