On verification of programs with goto statements

https://doi.org/10.1016/0020-0190(84)90115-7Get rights and content

First page preview

First page preview
Click to open first page preview
View PDF

References (7)

  • M.A. Arbib et al.

    Proof rules for gotos

    Acta Informatica

    (1979)
  • A. De Bruin

    Goto statements

  • M. Clint et al.

    Program proving: jumps and functions

    Acta Informatica

    (1972)
There are more references available in the full text version of this article.

Cited by (0)

View full text
Copyright © 1984 Published by Elsevier B.V.