52 search results - page 1 / 11 » Rule-Based Operational Semantics for an Imperative Language |
ENTCS
2007
13 years 4 months 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...
AGP
2003
IEEE
13 years 10 months ago
2003
IEEE
SAIG
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...
ACSD
2010
IEEE
13 years 2 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
GI
2010
Springer
13 years 2 months ago
2010
Springer
: In several industry scenarios, it is often the case that an existing reference workflow has to be adapted according to specific context factors, which might even change at runtim...