Axiomatic semantics for “escape” statements
Ronald A. Olsson, Daniel T. HuangVolume:
39
Year:
1991
Language:
english
Pages:
7
DOI:
10.1016/0020-0190(91)90058-p
File:
PDF, 656 KB
english, 1991