Author of the publication

The Translation of 'Go To' Programs to 'While' Programs.

, and . IFIP Congress (1), page 250-255. North-Holland, (1971)

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 Synthesis of Structure Changing Programs., and . ICSE, page 175-187. IEEE Computer Society, (1978)Temporal Logic Programming., and . SLP, page 4-16. IEEE-CS, (1987)Mathematical Theory of Computation. McGraw-Hill Computer Science Series McGraw-Hill Kogakusha, Tokyo, (1974)On the Faithfulness of Formal Models., and . MFCS, volume 520 of Lecture Notes in Computer Science, page 28-42. Springer, (1991)Towards Refining Temporal Specifications into Hybrid Systems., , and . Hybrid Systems, volume 736 of Lecture Notes in Computer Science, page 60-76. Springer, (1992)The Optimal Approach to Recursive Programs., and . Commun. ACM, 20 (11): 824-831 (1977)Second-Order Mathematical Theory of Computation. STOC, page 158-168. ACM, (1970)Program Schemas with Equality, and . STOC, page 52-64. ACM, (1972)Synchronous Schemes and Their Decision Problems., and . POPL, page 62-67. ACM Press, (1980)Logical Analysis of Programs., and . Commun. ACM, 19 (4): 188-206 (1976)