Flag-based big-step semantics

Casper Bach Poulsen, Peter D. Mosses. Flag-based big-step semantics. Journal of Logic and Algebraic Programming, 88:174-190, 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.