Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4951414 | Journal of Logical and Algebraic Methods in Programming | 2017 | 23 Pages |
Abstract
Structural operational semantic specifications come in different styles: small-step and big-step. A problem with the big-step style is that specifying divergence and abrupt termination gives rise to annoying duplication. We present a novel approach to representing divergence and abrupt termination in big-step semantics using status flags. This avoids the duplication problem, and uses fewer rules and premises for representing divergence than previous approaches in the literature.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Casper Bach Poulsen, Peter D. Mosses,