Arthur E. Sedgwick

Publication Activity (10 Years)

Years Active: 1972-1977
Publications (10 Years): 0

Publications

Arthur E. Sedgwick
Structuring control in Fortran. ACM SIGPLAN Notices 12 (11) (1977)
Thomas E. Hull, Wayne H. Enright, Arthur E. Sedgwick
The correctness of numerical algorithms. Proving Assertions About Programs (1972)