CiteSeer.IST Home   Check: The following citations are predicted to all refer to the same paper.   Details

Hoare, C., Hayes, I., Jifeng, H., Morgan, C., Roscoe, A., Sanders, J., Sorensen, I., Spivey, J., and Sufrin, B. Laws of programming. Communications of the ACM, 30, 8 (1987) 672--686.

Hoare, C. A. R., I. J. Hayes, He Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorensen, J. M. Spivey, and B. A. Sufrin. Laws of Programming. Communications of the ACM 30, 8 (1987).

C. Hoare. Algorithm 65: FIND. Communications of the ACM, 4(1):321, April 1961.

C. A. R. Hoare. Algorithm 63 (partition) and algorithm 65 (find). Communications of the ACM, 4(7):321--322, 1961.

C.A.R. Hoare. Algorithm 63 (partition) and algorithm 65 (find). Communications of the ACM, 4(7):321--322, 1961.

: C.A.R. Hoare, I.J. Hayes, He Jifeng, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorenson, J.M. Spivey, and B.A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672-687, August 1987.

C. Hoare. Algorithm 65: FIND. Communications of the ACM, 4(1):321, April 1961.

C.A.R. Hoare. Quick-sorting. Communications of the ACM.

C. A. R. Hoare. Algorith 63 (partition) and algorithm 65 (find). Communications of the ACM, 4(7):321--322, 1961.

C. A. R. Hoare, "Partition", "Quicksort" & "Find" (Algorithms 63-65), Communication of the ACM, Vol. 4(7), July 1961

C.A.R. Hoare. Algorithm 63 (partition) and algorithm 65 (find). Communications of the ACM, 4(7):321--322, 1961.

C. A. R. Hoare. Algorithm 63, Partition; Algorithm 64, Quicksort; Algorithm 65, Find. Communications of the ACM, 4(7):321--322, July 1961.

C. A. R. Hoare, I. J. Hayes, He Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorensen, J. M. Spivey, and B. A. Sufrin. Laws of programming. Communications of the ACM 8(8), 672--686, August 1987. Corrigenda no. 9, p. 770.

C.A.R. Hoare, I.J. Hayes, He Jifeng, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey, and B.A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672--686, August 1987.

C. A. R. Hoare. Algorithm 63 (partition) and algorithm 65 (find). Communications of the ACM, 4(7):321--322, 1961.

C. A. R. Hoare, I. J. Hayes, He Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorensen, J. M. Spivey, and B. A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672--686, August 1987.

C. A. R. Hoare. Algorithm 63 (partition) and algorithm 65 (find). Communications of the ACM, 4(7):321--322, 1961.

C. A. R. Hoare. Algorithm 63 (partition) and algorithm 65 (find). Communications of the ACM, 4(7):321--322, 1961.

C. A. R. Hoare. Find (Algorithm 65). Communications of the ACM, 4:321--322, 1961.

C.A.R. Hoare et al. Laws of programming. Communications of the ACM, 30(8):672-- 686, 1987.

C.A.R. Hoare. Algorithm 63(partition) and algorithm 65(find). Communication of ACM, 4(7):321--322, 1961.

C. A. R. Hoare. Algorithm 63 (partition) and algorithm 65 (find). Communications of the ACM, 4(7):321--322, 1961.

C. A. R. Hoare. Algorithm 63 (partition) and algorithm 65 (find). Communications of the ACM, 4(7):321--322, 1961.

C.A.R. Hoare, I.J. Hayes, J. He, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey and A. Sufrin, Laws of Programming, Communications of the ACM, Vol. 30, No. 8, 672--686 (August 1987).

C.A.R. Hoare et al. Laws of programming. Communications of the ACM, 30(8):672--686, 1987.

Hoare, C. (1961). FIND (Algorithm 65). Communications of ACM , 4, 321--322.

C.A.R. Hoare. Find (Algorithm 65). Communications of the ACM, 4:321-- 322, 1961.

C.A.R. Hoare, I.J. Hayes, He Jifeng, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey, and B.A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672--686, August 1987.

C.A.R. Hoare, I.J. Hayes, He Jifeng, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey, and B.A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672--686, 1987.

C.A.R. Hoare, I.J. Hayes, He Jifeng, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey, and B.A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672--686, August 1987.

Hoare, C., Hayes, I., Jifeng, H., Morgan, C., Roscoe, A., Sanders, J., Sorensen, I., Spivey, J., and Sufrin, B. Laws of programming. Communications of the ACM, 30, 8 (1987) 672--686.

C. A. R. Hoare. Find (Algorithm 65). Communications of the ACM, 4:321-- 322, 1961.

Hoare, C., Hayes, I., Jifeng, H., Morgan, C., Roscoe, A., Sanders, J., Sorensen, I., Spivey, J., and Sufrin, B. Laws of programming. Communications of the ACM 30, 8 (1987), 672--686.

C. A. R. Hoare. Algorithm 63 (partition) and algorithm 65 (find). Communications of the ACM, 4(7):321--322, 1961.

C. A. R. Hoare, I. J. Hayes, H. Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorensen, J. M. Spivey, and B. A. Sufrin. Laws of programming. Communications of the ACM, 30(2):672--686, August 1987.

Hoare, C.A.R., I.J. Hayes, H. Jifeng, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorenson, J.M. Spivey, and B.A. Sufrin. Laws of Programming. Communications of the ACM 30(8) (1987) 672--686.

C. A. R. Hoare et al. Laws of programming. Communications of the ACM, 30(8):672--686, August 1987.

Hoare, C.A.R. et al. Laws of Programming. Communications of the ACM 30(8) (1987) 672--686.

C.A.R. Hoare et al. Laws of programming. Communications of the ACM, 30(8):672--686, 1987.

C. A. R. Hoare, I. J. Hayes, He Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sørensen, J. M. Spivey, and B. A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672--687, 1987.

C.A.R. Hoare et al. Laws of Programming. Communications of the ACM 30 (1987) p 672--686.

C.A.R. Hoare, I.J. Hayes, He Jifeng, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorenson, J.M. Spivey, and B.A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672-- 687, August 1987.

Hoare, C.A.R., Hayes, I.J., He Jifeng, Morgan, C., Roscoe, A.W., Sanders, J.W., Sørensen, I.H., Spivey, J.M. and Sufrin, B., Laws of Programming. Communications of the ACM (CACM), 30(8):672--686, August 1987.

C.A.R. Hoare. Algorithm 63(partition) and algorithm 65(find). Communications of the ACM, 4(7):321--322, 1961.

C. A. R. Hoare, Algorithm 63 (partition) and algorithm 65 (find), Communications of the ACM, Vol.4, No.7, 1961, pp. 321-322.

C. A. R. Hoare. Algorithm 63 (partition) and algorithm 65 (find). Communications of the ACM, 4(7):321--322, 1961.

C. A. R. Hoare. Algorithm 63 (partition) and algorithm 65 (find). Communications of the ACM, 4(7):321--322, 1961.

F. Hayes-Roth. Rule BasedSystems. Communications of the ACM, 28(9), 1985.

C. A. R. Hoare, I. J. Hayes, H. Jifeng, C. C. Morgan, A . W. Roscoe, J. W. Sanders, I. H. Sorensen, J. M. Spivey, and B. A. Sufrin. Laws of programming. Communications of the ACM, 8(8):672--686, August 1987.

C.A.R. Hoare, I.J. Hayes, He Jifeng, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey, and B.A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672--686, August 1987.

HOARE, C., HAYES, I., JIFENG, H., MORGAN, C., ROSCOE, A., SANDERS, J., SORENSEN, I., SPIVEY, J., AND SUFRIN, B. Laws of programming. Communications of the ACM 30, 8 (August 1987), 672--686.

Hoare, C.A.R., Hayes, I.J., J. He, Morgan, C.C., Roscoe, A.W., Sanders, J.W., Sorensen, I.H., Spivey, J.M., & Sufrin, B.A. 1987. Laws of programming. Communications of the ACM, 30(8), 672--686,770.

C.A.R. Hoare et al. Laws of programming. Communications of the ACM, 30(8):672--686, 1987. Corrigenda in 30, 9, p. 770.

C. A. R. Hoare. Algorithm 65: Find. Communications of the ACM, 4(7), July 1961.

C. A. R. Hoare et al, The Laws of Programming. Communications of the ACM, 30 (1987) p672--686. 17

C. A. R. Hoare, I. J. Hayes, He Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Srensen, J. M. Spivey, and B. A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672--687, 1987.

C.A.R. Hoare et al. Laws of Programming. Communications of the ACM, 30(8):672-686, 1987.

C.A.R. Hoare, I.J. Hayes, He Jifeng, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey, and B.A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672-686, August 1987.

C. A. R. Hoare, I. J. Hayes, He Jifeng, C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Srensen, J. M. Spivey, and B. A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672-- 686, August 1987. Corrigenda: CACM 30(9):770.

C. A. R. Hoare. Algorithm 65: Find. Communications of the ACM, 4(7), July 1961.

C.A.R. Hoare, I.J. Hayes, He Jifeng, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey, and B.A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672--686, August 1987.

Hoare CAR: An Axiomatic Basis of Computer Programming, Communications of the ACM 12: 576-580, 1969.

Hoare CAR et al: Laws of Programming, Communications of the ACM 30: 672-686, 1987.

C.A.R. Hoare et al. Laws of programming. Communications of the ACM, 30(8):672--687, August 1987.

C. A. R. Hoare. Algorithm 63 (Partition) and Algorithm 65 (Find). Communications of the ACM, 4:321, 1961.

C.A.R. Hoare. Algorithm 63(partition) and algorithm 65(find). Communications of the ACM, 4(7):321--322, 1961.

HOARE, C., HAYES, I., JIFENG, H., MORGAN, C., ROSCOE, A., SANDERS, J., SORENSEN, I., SPIVEY, J., AND SUFRIN, B. 1987. Laws of programming. Communications of the ACM 30, 8 (August), 672--686. Corrigenda, ibid., p. 770.

HOARE, C., HAYES, I., JIFENG, H., MORGAN, C., ROSCOE, A., SANDERS, J., SORENSEN, I., SPIVEY, J., AND SUFRIN, B. Laws of programming. Communications of the ACM 30, 8 (August 1987), 672--686.

Hoare, C., Hayes, I., Jifeng, H., Morgan, C., Roscoe, A., Sanders, J., Sorensen, I., Spivey, J., and Sufrin, B. Laws of programming. Communications of the ACM 30, 8 (1987), 672--686.

C. A. R. Hoare et al. Laws of programming. Communications of the ACM, 30(8):672-686, 1987.

C. A. R. Hoare et al. Laws of programming. Communications of the ACM, 30(8):672-686, 1987.

C. A. R. Hoare, I. J. Hayes, He Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorenson, J. M. Spivey, and B. A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672--687, 1987.

C.A.R. Hoare. Algorithm 63, partition; algorithm 64, quicksort; algorithm 65, nd. Communications of the ACM, 4(7):321-322, 1961.

C. A. R. Hoare et al. Laws of programming, Communications of the ACM, 30(8): 672-686, 1987.

C. A. R. Hoare. Algorithm 63 (partition) and algorithm 65 (find). Communications of the ACM, 4(7):321-- 322, 1961.

Hoare, C. Find (Algorithm 65). Communications of the ACM 4 (1961), 321-322.

C.A.R. Hoare. Find (Algorithm 65). Communications of the ACM, 4:321--322, 1961.

C. A. R. Hoare. Algorithm 65: Find. Communications of the ACM, 4(7), July 1961.

C. A. R. Hoare, I. J. Hayes, H. Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorenson, J. M. Spivey, and B. A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672--687, August 1987.

C. A. R. Hoare, I. J. Hayes, H. Jifeng, C. Morgan, et al. Laws of programming. Communications of ACM, 30(8):672--686, August 1987.

C. A. R. Hoare. Algorithm 63, Partition; Algorithm 64, Quicksort; Algorithm 65, Find. Communications of the ACM, 4(7):321-322, July 1961.

Hoare, C.A.R., Hayes, I.J., He Jifeng, Morgan, C., Roscoe, A.W., Sanders, J.W., Srensen, I.H., Spivey, J.M. and Sufrin, B., Laws of Programming. Communications of the ACM (CACM), 30(8):672--686, August 1987.

Hoare, C., Hayes, I., Jifeng, H., Morgan, C., Roscoe, A., Sanders, J., Sorensen, I., Spivey, J., and Sufrin, B. Laws of programming. Communications of the ACM, 30, 8 (1987) 672--686.

C.A.R. Hoare. Find (Algorithm 65). Communications of the ACM, 4:321-- 322, 1961.

C.A.R. Hoare. Find (algorithm 65). Communications of the ACM, 4(7):321-322, 1961.

C. A. R. Hoare et al . Laws of programming. Communications of the ACM, 30(8):672--686, August 1987.

Hoare,C. ATheory of CSP. Communications of the ACM,vol.21,no.8,1978.

C. A. R. Hoare. A theory of CSP. Communications of the ACM, 21(8), August 1978.

C. A. R. Hoare. Algorithm 63 (partition) and algorithm 65 (find). Communications of the ACM, 4(7):321-322, 1961.

C. Hoare. A theory of CSP. Communications of the ACM, 21(8), August 1978.

C. A. R. HOARE, Algorithm 63 (partition) and algorithm 65 (find), Communications of the ACM, 4(1961), pp. 321-322.

Hoare, C. A. R. Algorithm 63 (partition) and algorithm 65 (find). Communications of the ACM 4, 7 (1961), 321--322.

C. A. R. Hoare. Algorithm 63 (partition) and algorithm 65 (find). Communications of the ACM, 4(7):321--322, 1961.

HOARE, C. H'v#'...+) 6 Pfr...h#vt T'+#r T#...p#...vt 8'prf#, Communications of the ACM, 12(10), October 1974.

C. A. R. Hoare. Algorithm 63, Partition; Algorithm 64, Quicksort; Algorithm 65, Find. Communications of the ACM, 4(7):321--322, July 1961.

C. A. R. Hoare et al. Laws of programming. Communications of the ACM, 30(8):672--686, August 1987.

C.A.R. Hoare et al. Laws of programming. Communications of the ACM, 30(8):672-- 686, 1987.

Hoare et al , C.A.R.: Laws of programming. Communications of the ACM 30 (1987) 672--686

C. A. R. Hoare. Quicksort. Communication of the ACM, 4(7):321, 1961.

C.A.R. Hoare, I.J. Hayes, He Jifeng, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey, and B.A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672--686, August 1987.

Hoare, C., J. Spivey, I. Hayes, J. He, C. Morgan, A. W. Roscoe, J. Sanders, I. Sorenson and B. Sufrin, Laws of programming, Communications of the ACM 30 (1987), pp. 672--686.

C. A. R. Hoare, I. J. Hayes, He Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Srensen, J. M. Spivey, and B. A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672-686, August 1987. See corrigendum

C. A. R. Hoare and et al. Laws of programming. Communications of the ACM, 30(8):672--686, 1987.

C. A. R. Hoare and et al. Laws of programming. Communications of the ACM, 30(8):672--686, 1987.

C.A.R. Hoare. Find (algorithm 65). Communications of the ACM, 4(7):321--322, 1961.

C. A. R. Hoare. Algorithm 63 (partition) and algorithm 65 (find). Communications of the acm, 4(7):321-322, 1961.

C. Hoare: Communicating sequential processes. Communications of the ACM 21, 666-677 (1978)

C.A.R. Hoare, I.J. Hayes, He Jifeng, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey, and B.A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672--686, August 1987.

CiteSeer.IST - Copyright Penn State and NEC