2173 search results - page 10 / 435 » An operational semantics for skeletons |
108
click to vote
APLAS
2008
ACM
15 years 2 months ago
2008
ACM
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and ...
101
click to vote
LICS
1997
IEEE
15 years 4 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
104
click to vote
FUIN
2010
14 years 7 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 ...
95
Voted
FASE
2004
Springer
15 years 4 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
83
Voted
ENTCS
2007
15 years 12 days ago
2007
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing redu...