3 search results - page 1 / 1 » Model-Driven Construction of Certified Binaries |
MODELS
2007
Springer
13 years 11 months ago
2007
Springer
ICSR
2011
Springer
12 years 8 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 5 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 ...