( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Program Refinement by Transsformation.

, , и . ICSE, стр. 430-438. IEEE Computer Society, (1981)

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.

Foued Jrad

Darline Cheatham-Speth

Robert Jr Cramer

Thomas E Wanger

Thomas E Cowan

 

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

Rule Execution in CPLEX: A Persistent Objectbase., и . OODBS, том 334 из Lecture Notes in Computer Science, стр. 150-155. Springer, (1988)On the basis for ELF: an extensible language facility., , и . AFIPS Fall Joint Computing Conference (2), том 33 из AFIPS Conference Proceedings, стр. 937-948. AFIPS / ACM / Thomson Book Company, Washington D.C., (1968)A proposed system for structured programming., и . Symposium on Programming, том 19 из Lecture Notes in Computer Science, стр. 33-40. Springer, (1974)A System for Program Refinement., , и . ICSE, стр. 53-62. IEEE Computer Society, (1979)Syntax-directed compiling., и . AFIPS Spring Joint Computing Conference, стр. 31-57. ACM, (1964)Extensible language - where are we going.. International Symposium on Extensible Languages, стр. 146-147. ACM, (1971)Symbolic evaluation of programs: a look at loop analysis., и . SYMSACC, стр. 90-96. ACM, (1976)The E-L system support for process programs.. ISPW, стр. 65-68. IEEE Computer Society, (1990)Program Refinement by Transsformation., , и . ICSE, стр. 430-438. IEEE Computer Society, (1981)Software technology in the 1990's: using a new paradigm., , и . ISPW, стр. 3-9. IEEE Computer Society, (1984)