2943 search results - page 399 / 589 » Software Implementation of Synchronous Programs |
179
Voted
VEE
2012
ACM
13 years 10 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
117
Voted
ICFP
2001
ACM
16 years 2 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
220
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
107
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...
119
Voted
ISORC
2009
IEEE
15 years 9 months ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...