Direct semantics and exceptions define jumps and coroutines
From MaRDI portal
Publication:1824407
DOI10.1016/0020-0190(89)90097-5zbMath0682.68086DBLPjournals/ipl/Allison89OpenAlexW2032910840WikidataQ62654300 ScholiaQ62654300MaRDI QIDQ1824407
Publication date: 1989
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(89)90097-5
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
Cites Work
This page was built for publication: Direct semantics and exceptions define jumps and coroutines
