Travelled to:1 × Germany
2 × USA
Collaborated with:G.H.Holloway J.A.Townley ∅
Talks about:program (3) refin (2) transsform (1) languag (1) system (1) design (1) issu (1)
Person: Thomas E. Cheatham Jr.
DBLP: Cheatham Jr.:Thomas_E=
Contributed to:
19811979
1976Wrote 3 papers:
- ICSE-1981-CheathamHT #refinement
- Program Refinement by Transsformation (TECJ, GHH, JAT), pp. 430–438.
- ICSE-1979-CheathamTH #refinement
- A System for Program Refinement (TECJ, JAT, GHH), pp. 53–62.
- DIPL-1976-Cheatham #design #programming language
- Programming language design issues (TECJ), pp. 399–435.