Judy A. Townley

According to our database, Judy A. Townley authored at least 9 papers between 1974 and 1982.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1982

The use of transformations to implement an algorithm.

Judy A. Townley

Proceedings of the International Symposium on Programming, 1982

1981

Program Refinement by Transsformation.

Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley

Proceedings of the 5th International Conference on Software Engineering, 1981

1980

A pragmatic approach to resolution-based theorem proving.

Judy A. Townley

Int. J. Parallel Program., 1980

1979

Symbolic Evaluation and the Analysis of Programs.

Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley

IEEE Trans. Software Eng., 1979

A System for Program Refinement.

Thomas E. Cheatham Jr., Judy A. Townley, Glenn H. Holloway

Proceedings of the 4th International Conference on Software Engineering, 1979

1976

A Look at Programming and Programming Systems.

Thomas E. Cheatham Jr., Judy A. Townley

Adv. Comput., 1976

Symbolic evaluation of programs: a look at loop analysis.

Thomas E. Cheatham Jr., Judy A. Townley

Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976

1975

Structured Programming Applied to Equipment Testing.

Judy A. Townley

Computer, 1975

1974

A proposed system for structured programming.

Thomas E. Cheatham Jr., Judy A. Townley

Proceedings of the Programming Symposium, 1974