2106 search results - page 2 / 422 » Operational Semantics for MSC'96 |
CADE
2006
Springer
16 years 2 months ago
2006
Springer
112
click to vote
FUIN
2010
14 years 8 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 10 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...