Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference13 articles.
1. Proof rules for gotos;Arbib;Acta Inform.,1979
2. Behind clint and Hoare's goto proof rule;Chen,2021
3. A wp characterization of jump statements;Chen,2021
4. Program proving: jumps and functions;Clint;Acta Inform.,1972
5. Goto statements: semantics and deduction systems;de Bruin;Acta Inform.,1981