2106 search results - page 2 / 422 » Operational Semantics for MSC'96 |
POPL
2001
ACM
14 years 5 months ago
2001
ACM
CADE
2006
Springer
14 years 5 months ago
2006
Springer
POPL
2007
ACM
14 years 5 months ago
2007
ACM
FUIN
2010
13 years 3 days 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
14 years 2 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...