8 search results - page 1 / 2 » ictac 2010 |
ICTAC
2010
Springer
13 years 1 months ago
2010
Springer
ICTAC
2010
Springer
13 years 3 months ago
2010
Springer
ICTAC
2010
Springer
13 years 3 months ago
2010
Springer
ICTAC
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
ICTAC
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...