2106 search results - page 2 / 422 » Operational Semantics for MSC'96 |
CADE
2006
Springer
15 years 10 months ago
2006
Springer
FUIN
2010
14 years 4 months ago
2010
Abstract. In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated ...
PEPM
2009
ACM
15 years 6 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...