| |
| 1982 | ||
|---|---|---|
| 6 | Judy A. Townley: The use of transformations to implement an algorithm. Symposium on Programming 1982: 381-408 | |
| 1981 | ||
| 5 | Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley: Program Refinement by Transsformation. ICSE 1981: 430-438 | |
| 1979 | ||
| 4 | Thomas E. Cheatham Jr., Judy A. Townley, Glenn H. Holloway: A System for Program Refinement. ICSE 1979: 53-62 | |
| 3 | Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley: Symbolic Evaluation and the Analysis of Programs. IEEE Trans. Software Eng. 5(4): 402-417 (1979) | |
| 1976 | ||
| 2 | Thomas E. Cheatham Jr., Judy A. Townley: A Look at Programming and Programming Systems. Advances in Computers 14: 45-76 (1976) | |
| 1974 | ||
| 1 | Thomas E. Cheatham Jr., Judy A. Townley: A proposed system for structured programming. Symposium on Programming 1974: 33-40 | |
| 1 | Thomas E. Cheatham Jr. | [1] [2] [3] [4] [5] |
| 2 | Glenn H. Holloway | [3] [4] [5] |