( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic evaluation of programs: a look at loop analysis.

, и . SYMSACC, стр. 90-96. ACM, (1976)

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.

Judy Witten

Klaus Judy

Judy Mussalati

Judy Smith-Höhn

Judy Anett Kipping

 

Другие публикации лиц с тем же именем

A Look at Programming and Programming Systems., и . Advances in Computers, (1976)Program Refinement by Transsformation., , и . ICSE, стр. 430-438. IEEE Computer Society, (1981)Symbolic Evaluation and the Analysis of Programs., , и . IEEE Trans. Software Eng., 5 (4): 402-417 (1979)Structured Programming Applied to Equipment Testing.. Computer, 8 (6): 68 (1975)A pragmatic approach to resolution-based theorem proving.. Int. J. Parallel Program., 9 (2): 93-116 (1980)A System for Program Refinement., , и . ICSE, стр. 53-62. IEEE Computer Society, (1979)Symbolic evaluation of programs: a look at loop analysis., и . SYMSACC, стр. 90-96. ACM, (1976)The use of transformations to implement an algorithm.. Symposium on Programming, том 137 из Lecture Notes in Computer Science, стр. 381-408. Springer, (1982)A proposed system for structured programming., и . Symposium on Programming, том 19 из Lecture Notes in Computer Science, стр. 33-40. Springer, (1974)