Thomas E. Cheatham Jr.

31 papers A* 2Journal 12Unranked 17
YearRankTypeTitle / Venue / Authors
1990 — conf
The E-L system support for process programs.
ISPW
Thomas E. Cheatham Jr.
1989 — conf
Process programing and process model.
ISPW
Thomas E. Cheatham Jr.
1988 — conf
Activity coordination porgrams.
ISPW
Thomas E. Cheatham Jr.
1988 — conf
Rule Execution in CPLEX: A Persistent Objectbase.
OODBS
Michun Hsu, Thomas E. Cheatham Jr.
1984 J jnl
Reusability Through Program Transformations.
IEEE Trans. Software Eng.
Thomas E. Cheatham Jr.
1984 — conf
Software technology in the 1990's: using a new paradigm.
ISPW
Robert Balzer, Thomas E. Cheatham Jr., C. Cordell Green
1983 J jnl
Software Technology in the 1990's: Using a New Paradigm.
Computer
Robert Balzer, Thomas E. Cheatham Jr., C. Cordell Green
1981 J jnl
Editorial: Program Transformations.
IEEE Trans. Software Eng.
Robert Balzer, Thomas E. Cheatham Jr.
1981 A* conf
Program Refinement by Transsformation.
ICSE
Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley
1979 A* conf
A System for Program Refinement.
ICSE
Thomas E. Cheatham Jr., Judy A. Townley, Glenn H. Holloway
1979 J jnl
Symbolic Evaluation and the Analysis of Programs.
IEEE Trans. Software Eng.
Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley
1978 J jnl
A brief description of JOVIAL.
ACM SIGPLAN Notices
Thomas E. Cheatham Jr.
1976 J jnl
A Look at Programming and Programming Systems.
Adv. Comput.
Thomas E. Cheatham Jr., Judy A. Townley
1976 — conf
Programming language design issues.
Design and Implementation of Programming Languages
Thomas E. Cheatham Jr.
1976 — conf
Symbolic evaluation of programs: a look at loop analysis.
SYMSACC
Thomas E. Cheatham Jr., Judy A. Townley
1974 — conf
A proposed system for structured programming.
Symposium on Programming
Thomas E. Cheatham Jr., Judy A. Townley
1972 — conf
A laboratory for the study of automating programming.
AFIPS Spring Joint Computing Conference
Thomas E. Cheatham Jr., Ben Wegbreit
1972 — conf
On a laboratory for the study of automating programming.
Proving Assertions About Programs
Thomas E. Cheatham Jr., Ben Wegbreit
1971 — conf
Extensible language - where are we going.
International Symposium on Extensible Languages
Thomas E. Cheatham Jr.
1971 — conf
The Recent Evolution of Programming Languages.
IFIP Congress (1)
Thomas E. Cheatham Jr.
1970 — conf
Optimization aspects of compiler- compilers.
Symposium on Compiler Optimization
Thomas E. Cheatham Jr., Thomas A. Standish
1970 J jnl
Optimization aspects of compiler-compilers.
ACM SIGPLAN Notices
Thomas E. Cheatham Jr., Thomas A. Standish
1969 J jnl
Motivation for extensible languages.
ACM SIGPLAN Notices
Thomas E. Cheatham Jr.
1968 — conf
On the basis for ELF: an extensible language facility.
AFIPS Fall Joint Computing Conference (2)
Thomas E. Cheatham Jr., A. Fischer, P. Jorrand
1966 — conf
The introduction of definitional facilities into higher level programming languages.
AFIPS Fall Joint Computing Conference
Thomas E. Cheatham Jr.
1964 J jnl
Editor's note: A successor to ALGOL?
Commun. ACM
Thomas E. Cheatham Jr.
1964 — conf
Syntax-directed compiling.
AFIPS Spring Joint Computing Conference
Thomas E. Cheatham Jr., Kirk Sattley
1963 J jnl
Programming languages.
Commun. ACM
Thomas E. Cheatham Jr.
1962 — conf
Automatic programming and compilers I: Data description in the CL - II Programming System.
ACM National Conference
Thomas E. Cheatham Jr.
1962 J jnl
Translation of retrieval requests couched in a "semiformal" English-like language.
Commun. ACM
Thomas E. Cheatham Jr., Stephen Warshall
1961 J jnl
CL-I, an environment for a compiler.
Commun. ACM
Thomas E. Cheatham Jr., G. O. Collins Jr., Gene F. Leonard