4959 search results - page 40 / 992 » Imperative Functional Programming |
DSN
2006
IEEE
15 years 5 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...
82
Voted
KI
2006
Springer
14 years 11 months ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
180
Voted
POPL
2006
ACM
15 years 11 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
ESOP
2010
Springer
15 years 8 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
78
Voted
OOPSLA
2009
Springer
15 years 5 months ago
2009
Springer
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...