Author of the publication

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.

 

Other publications of authors with the same name

The use of transformations to implement an algorithm.. Symposium on Programming, volume 137 of Lecture Notes in Computer Science, page 381-408. Springer, (1982)A proposed system for structured programming., and . Symposium on Programming, volume 19 of Lecture Notes in Computer Science, page 33-40. Springer, (1974)A Look at Programming and Programming Systems., and . Advances in Computers, (1976)Program Refinement by Transsformation., , and . ICSE, page 430-438. IEEE Computer Society, (1981)A pragmatic approach to resolution-based theorem proving.. International Journal of Parallel Programming, 9 (2): 93-116 (1980)A System for Program Refinement., , and . ICSE, page 53-62. IEEE Computer Society, (1979)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)Structured Programming Applied to Equipment Testing.. IEEE Computer, 8 (6): 68 (1975)