×
布伦达·S·贝克。；南饶省科萨拉州

多级中断和下一语句的比较。 （英语） Zbl 0407.68007号

J.协会计算。机器。 26, 555-566 (1979).
页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3个 +4 +5 显示扫描页面
Zbl 0407.68007扫描

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68号01 软件理论的一般主题

关键词：

多级中断和下一语句；程序结构；控制结构
PDF格式BibTeX公司 XML格式引用
\textit{B.S.Baker}和\textit{S.R.Kosaraju}，J.协会计算。机器。26、555--566（1979；Zbl 0407.68007）
全文： DOI程序