Judy A. Townley

Publication Activity (10 Years)

Years Active: 1974-1982
Publications (10 Years): 0

Publications

Judy A. Townley
The use of transformations to implement an algorithm. Symposium on Programming (1982)
Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley
Program Refinement by Transsformation. ICSE (1981)
Judy A. Townley
A pragmatic approach to resolution-based theorem proving. Int. J. Parallel Program. 9 (2) (1980)
Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley
Symbolic Evaluation and the Analysis of Programs. IEEE Trans. Software Eng. 5 (4) (1979)
Thomas E. Cheatham Jr., Judy A. Townley, Glenn H. Holloway
A System for Program Refinement. ICSE (1979)
Thomas E. Cheatham Jr., Judy A. Townley
A Look at Programming and Programming Systems. Adv. Comput. 14 (1976)
Thomas E. Cheatham Jr., Judy A. Townley
Symbolic evaluation of programs: a look at loop analysis. SYMSACC (1976)
Judy A. Townley
Structured Programming Applied to Equipment Testing. Computer 8 (6) (1975)
Thomas E. Cheatham Jr., Judy A. Townley
A proposed system for structured programming. Symposium on Programming (1974)