Looking for results similar to:
Found 958 results
sorted by:
Pages: 1 2 3 ... 96
C. A. R. Hoare : An Axiomatic Basis for Computer Programming (Reprint). Commun. ACM (CACM) 26(1):53-56 (1983)
C. A. R. Hoare : Viewpoint - Retrospective: an axiomatic basis for computer programming. Commun. ACM (CACM) 52(10):30-32 (2009)
C. A. R. Hoare : Parallel Programming: An Axiomatic Approach. Comput. Lang. (CL) 1(2):151-160 (1976)
C. A. R. Hoare, Niklaus Wirth : An Axiomatic Definition of the Programming Language PASCAL Acta Inf. (ACTA) 2():335-355 (1973)
Bruce W. Arden : The role of programming in a Ph.D. computer science program. Commun. ACM (CACM) 12(1):31-38 (1969)
Bruce J. MacLennan : Fen-An Axiomatic Basis for Program Semantics. Commun. ACM (CACM) 16(8):468-474 (1973)
B. R. Hunt : A comment on axiomatic approaches to programming. Commun. ACM (CACM) 13(7):452 (1970)
(search: 0.242 sec. - facets: 0.757 sec.- similarity: 1.00 sec) (?)
Pages: 1 2 3 ... 96

Refine by VENUE:

show:

Refine by YEAR:

show:
[No canvas support]