Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations.
VenueBFM
Year1978
ProceedingsThe Vienna Development Method: The Meta-Language
DBLP recordconf/fm/Jones78a ↗
Browse the full FM paper archive.
Browse the full FM paper archive.