312 search results - page 1 / 63 » Restricting and Embedding Imperatives |
AMSTERDAM
2009
13 years 2 months ago
2009
Abstract. We use imperatives to refute a na
FLOPS
2004
Springer
13 years 10 months ago
2004
Springer
Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advant...
DSN
2006
IEEE
13 years 11 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
ACSD
2001
IEEE
13 years 8 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
CC
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...