3 search results - page 1 / 1 » Model-Driven Construction of Certified Binaries |
MODELS
2007
Springer
14 years 3 months ago
2007
Springer
ICSR
2011
Springer
13 years 1 months ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
POPL
2006
ACM
14 years 10 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...