PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Jr., Thomas E. Cheatham"

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic Evaluation and the Analysis of Programs.

, , and . IEEE Trans. Software Eng., 5 (4): 402-417 (1979)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

E. Zafeiriou

E. Garrelts

Dipl.-Ing. Thomas Kuestner

Scan time reduction in DWI of the pancreas using simultaneous multislice technique with different acceleration factors: how fast can we go?, , , , , , , and . Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)

P. E. Bl\"ochl

Andr{\'{e}} Buchau

 

Other publications of authors with the same name

Editorial: Program Transformations., and . IEEE Trans. Software Eng., 7 (1): 1-2 (1981)Rule Execution in CPLEX: A Persistent Objectbase., and . OODBS, volume 334 of Lecture Notes in Computer Science, page 150-155. Springer, (1988)On the basis for ELF: an extensible language facility., , and . AFIPS Fall Joint Computing Conference (2), volume 33 of AFIPS Conference Proceedings, page 937-948. AFIPS / ACM / Thomson Book Company, Washington D.C., (1968)A proposed system for structured programming., and . Symposium on Programming, volume 19 of Lecture Notes in Computer Science, page 33-40. Springer, (1974)A System for Program Refinement., , and . ICSE, page 53-62. IEEE Computer Society, (1979)The E-L system support for process programs.. ISPW, page 65-68. IEEE Computer Society, (1990)Symbolic evaluation of programs: a look at loop analysis., and . SYMSACC, page 90-96. ACM, (1976)Symbolic Evaluation and the Analysis of Programs., , and . IEEE Trans. Software Eng., 5 (4): 402-417 (1979)Translation of retrieval requests couched in a "semiformal" English-like language., and . Commun. ACM, 5 (1): 34-39 (1962)Programming languages.. Commun. ACM, 6 (7): 391-395 (1963)